宫野，佐藤；Hayashi、Takeshi 在\（\omega \）-words上交替使用有限自动机。 （英语） 兹伯利0544.68042 西奥。计算。科学。 32, 321-330 (1984). 摘要：引入了（ω）字上的交替有限自动机，作为处理无限符号序列的非确定性有限自动机的扩展。研究了由交替有限自动机定义的欧米伽语言类，并在四种接受条件下对其进行了表征。结果表明，对于一种接受条件，与不确定性相比，交替增加了功率；对于其他三种接受条件而言，ω-词上的不确定性有限自动机与交替自动机具有相同的功率。 引用于5评论引用于60文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：欧米茄语；交替有限自动机；无限符号序列；交替；不确定性；不确定有限自动机 引文：Zbl 0544.68041号 PDF格式BibTeX公司 XML格式引用 \textit{S.Miyano}和\textit{T.Hayashi}，Theor。计算。科学。321--330（1984年；Zbl 0544.68042） 全文： 内政部 参考文献： [1] Büchi，J.R.，《关于限制二阶算术中的决策方法》，（国际逻辑方法论和科学哲学大会（1960年），斯坦福大学出版社：斯坦福大学出版社，加利福尼亚大学出版社）·Zbl 0147.25103号 [2] Chandra，A.K。；Kozen，哥伦比亚特区。；Stockmeyer，L.J.，Alternation，J.Assoc.计算。机器。，28114-133（1981年）·Zbl 0473.68043号 [3] Choueka，Y.，《ω带上的自动机理论：简化方法》，J.Compute。系统科学。，8, 117-142 (1974) ·Zbl 0292.02033号 [4] 科恩，R.S。；Gold，A.Y.，ω语言理论。一： ω-上下文无关语言的特征，J.Compute。系统科学。，15169-184（1977年）·Zbl 0363.68113号 [5] 科恩，R.S。；Gold，A.Y.，ω语言理论。二： 《ω型生成和识别各种模型的研究》，J.Compute。系统科学。，15, 185-208 (1977) ·Zbl 0363.68114号 [6] 科恩，R.S。；Gold，A.Y.，ω-确定性下推机器上的计算，J.Compute。系统科学。，16, 275-300 (1978) ·Zbl 0382.03025号 [7] 科恩，R.S。；Gold，A.Y.，《图灵机上的ω计算》，Theoret。计算。科学。，6, 1-23 (1978) ·Zbl 0368.68057号 [8] 艾伦伯格，S.，《自动化、语言和机器》，A卷（1974年），学术出版社：纽约学术出版社·Zbl 0317.94045号 [9] Hartmanis，J。；Stearns，R.E.，有限自动机定义的一组数，Amer。数学。月刊，74539-542（1967）·Zbl 0149.01002号 [10] Hossley，R.，有限树自动机和ω-自动机，（TR MAC TR-102（1972），麻省理工学院：麻省理学院剑桥分校） [11] 小林，K。；高桥，M。；Yamasaki，H.，用一阶公式表征ω-正则语言，TIT Tesearch报告C-48。TIT Tesearch报告C-48，J.Compute。系统科学。（1983），出炉。 [12] 拉德纳，R.E。；利普顿，R.J。；Stockmeyer，L.J.，交替下推自动机，Proc。IEEE第19交响乐团。《计算机科学基础》，92-106（1978） [13] Landweber，L.H.，ω-自动机的决策问题，数学。系统理论，4376-384（1969）·Zbl 0182.02402号 [14] McNaughton，R.，《用有限自动机测试和生成无限序列》，Inform。控制。，9, 521-530 (1966) ·Zbl 0212.33902号 [15] Nivat，M.，《过程的行为和过程的同步系统》（讲稿（1981年），马克托贝多夫北约暑期学校） [16] 拉宾，M.O.，无限树上二阶理论和自动机的可判定性，Trans。阿默尔。数学。Soc.，141，1-35（1969年）·Zbl 0221.02031 [17] 斯泰格，L。；Wagner，K.，Automatentheoretische und automatenfree Charakterisierungen拓扑学家Klassen regularer Folgenmengen，EIK，10，379-392（1974）·Zbl 0301.94069号 [18] Wagner，K.，Eine拓扑学家Charakterisierung einiger Klassen regularer Folgenmengen，EIK，13，473-487（1977）·Zbl 0379.94070号 [19] Wagner，K.，关于ω-正则集，Inform。控制。，43, 123-177 (1979) ·Zbl 0434.68061号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。