雅科夫·乔伊卡 磁带自动机理论：一种简化方法。 （英语） Zbl 0292.02033号 J.计算。系统。科学。 8, 117-141 (1974). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于56文件 MSC公司： 05年3月 与逻辑问题相关的自动机和形式文法 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{Y.Choueka}，J.计算。系统。科学。8117--141（1974年；Zbl 0292.02033） 全文： 内政部 参考文献： [1] Büchi，J.R.，弱二阶算术和有限自动机，数学。日志。格兰德。数学。，6, 66-92 (1960) ·Zbl 0103.24705号 [2] Büchi，J.R.，《关于受限二阶算术中的决策方法》，（《国际会议关于逻辑、方法论和科学哲学的Proc.On Logic，Methodology and Philosophy of Sciences 1960（1962）》，斯坦福大学出版社：斯坦福大学出版社，加利福尼亚州斯坦福）·Zbl 0215.32401号 [3] Büchi，J.R.，序数理论中的决策方法，布尔。阿默尔。数学。Soc.，767-770（1965年）·Zbl 0207.30904号 [4] Choueka，Y.，《无限结构上的有限自动机》（博士论文（1970），希伯来大学：耶路撒冷希伯莱大学） [5] Elgot，C.C.，有限自动机设计的决策问题及相关算法，Trans。阿默尔。数学。《社会学杂志》，98，21-51（1961）·Zbl 0111.01102号 [6] McNaughton，R.，用有限自动机测试和生成无限序列，信息与控制，9521-530（1966）·Zbl 0212.33902号 [7] 麦克诺顿，R。；Yamada，H.，自动机的正则表达式和状态图，Trans。IEEE，9，39-47（1960）·Zbl 0156.25501号 [8] Muller，D.E.，《无限序列与有限机器，开关电路理论与逻辑设计》，（电气与电子工程师学会第四年会刊，电气与电子工程学会第四年刊，芝加哥（1963年）） [9] 拉宾，M。；Scott，D.，《有限自动机及其决策问题》，IBM J.Research Develop，3114-125（1959）·Zbl 0158.25404号 [10] 拉宾，M.，无限树上二阶理论和自动机的可判定性，Trans。阿默尔。数学。Soc.，141，1-35（1969年）·Zbl 0221.02031 [11] 拉宾，M.，《无限对象上的自动机和教会问题》（Regional Conf.Ser.Math.，13（1972），美国。数学。Soc.：美国。数学。罗德岛州普罗维登斯Soc.Providence）·Zbl 0315.02037号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。