托马斯·尤季安斯基;弗里德里希·奥托 收缩重启自动机。 (英语) Zbl 1112.68087号 发现的国际期刊。计算。科学。 18,第2期,361-385(2007). 摘要:重启自动机是由引入的P.Jančar、F.Mráz、M.Plátek和J.沃格尔[“重启自动机”,Lect.Notes Compute.Sci.965,283–292(1995)]对所谓的简化分析建模。重新启动自动机的计算由一系列循环组成,在每个循环中,自动机正好执行一个重写步骤,用另一个甚至更短的单词替换磁带内容的一小部分。这里我们考虑这个模型的一个自然泛化,称为收缩重启自动机,其中我们只需要存在一个权重函数,这样每个重写步骤都会减少磁带内容相对于该函数的权重。虽然目前还不清楚两种最常见的单向重启自动机,即RWW自动机和RRWW-自动机,在表达能力上是否存在差异,但我们将看到收缩的RWW-自变量和收缩的RRWW-自动变量所接受的语言类是一致的。根据我们的证明,事实证明存在从语言类(mathcal L)(RRWW)到类(mathcal L)的语素约简。此外,我们将看到收缩的重启自动机是一个相当健壮的计算模型。最后,我们将收缩RRWW自动机与有限变化自动机联系起来。这将对以(收缩)重启自动机为特征的语言类与一些著名的时间和空间复杂性类之间的关系产生一些新的见解。 引用于16文件 MSC公司: 第68季度第45季度 形式语言和自动机 2005年第68季度 计算模型(图灵机等)(MSC2010) 2015年第68季度 复杂性类(层次结构、复杂性类之间的关系等) 关键词:重启自动机;模拟;语言类;闭包属性 PDF格式BibTeX公司 XML格式引用 \textit{T.Jurdziñski}和\textit{F.Otto},国际法学协会发现。计算。科学。18,第2号,361--385(2007;Zbl 1112.68087) 全文: 内政部 参考文献: [1] DOI:10.1016/S0022-0000(71)80025-9·Zbl 0223.68012号 ·doi:10.1016/S0022-0000(71)80025-9 [2] DOI:10.1007/BF01705890·Zbl 0188.33102号 ·doi:10.1007/BF01705890 [3] 内政部:10.1007/978-1-4613-9771-7·doi:10.1007/978-1-4613-9771-7 [4] 内政部:10.1006/inco.1997.2681·Zbl 0894.68093号 ·doi:10.1006/inco.1997.2681 [5] 内政部:10.1016/0022-0000(86)90062-0·Zbl 0625.68055号 ·doi:10.1016/0022-0000(86)90062-0 [6] Hopcroft J.E.,《自动机理论、语言和计算导论》(1979年)·Zbl 0426.68001号 [7] Jančar P.,《自动化杂志,语言与组合数学》4,第287页 [8] Jurdziánski T.,《自动化杂志》,《语言与组合数学》9,第407页– [9] 内政部:10.1145/42282.42284·Zbl 0652.68093号 ·数字对象标识代码:10.1145/42282.42284 [10] F.Otto,《形式语言和应用的最新进展》,《计算智能研究》第25版,Z.Es sik、C.Martin-Vide和V.Mitrana(Springer,Berlin,2006),pp。269–303. 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。