马雷克·克罗巴克 有限自动机和一元语言。 （英语） Zbl 0638.68096号 西奥。计算。科学。 47, 149-158 (1986). 摘要：我们证明了（O（e^{sqrt{n\logn}}）状态足以用单向确定性有限自动机来模拟识别一元语言的n状态非确定性有限自自动机。下限相同。用单向确定性有限自动机和单向非确定性有限自自动机模拟双向确定性有限自变量也显示了类似的紧界。我们还证明了O（n2）状态对于用双向确定性有限自动机来模拟一个识别一元语言的n状态单向非确定有限自动机是充分和必要的。 引用于5评论引用于119文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：一元语言；有穷自动机 PDF格式BibTeX公司 XML格式引用 \文本{M.Chrobak}，Theor。计算。科学。47、149——158（1986年；Zbl 0638.68096） 全文： 内政部 参考文献： [1] Barnes，B.，《状态少于任何等效单向自动机的双向自动机》，IEEE Trans。在Comp.上。，C-20、4、474-475（1974）·Zbl 0218.02032号 [2] 伯曼，P。；Lingas，A.，《从有限自动机的角度看正则语言的复杂性》（报告304（1977），波兰科学院）·Zbl 0364.68057号 [3] Brauer，A.，关于分区问题，Amer。数学杂志。，64, 299-312 (1942) ·Zbl 0061.06801号 [4] A.布劳尔。；肖克利，J.E.，《关于弗罗贝尼乌斯的问题》，J.莱因·安圭（J.Reine Angew）。数学。，211, 215-220 (1962) ·兹伯利0108.04604 [5] Chandra，A.K。；Kozen，哥伦比亚特区。；Stockmeyer，L.J.，Alternation，J.Assoc.计算。机器。，28114-133（1981年）·Zbl 0473.68043号 [6] Erdös，P。；Graham，R.L.，关于Frobenius的线性丢番图问题，算术学报。，21, 399-408 (1972) ·Zbl 0246.10010号 [7] Ershov，U.L.，关于W.U.Uspenskii的一个猜想，（代数i逻辑卡(研讨会)，1（1962）），45-48，（俄语）·Zbl 0192.07904号 [8] 弗里德曼，A.R。；Ladner，R.E.，处理无内容输入的空间边界，J.Compute。系统科学。，11, 118-128 (1975) ·Zbl 0307.68036号 [9] Goldstine，J.，《一些独立的单字母语言家族》，J.Compute。系统科学。，10, 351-369 (1975) ·Zbl 0305.68059号 [10] Gurari，E.M。；Ibarra，O.H.，《简单计数器和数论问题》，J.Compute。系统科学。，19, 145-162 (1979) ·Zbl 0426.68036号 [11] Hartmanis，J。；Berman，L.，《单字母语言处理的磁带边界》，Theoret。计算。科学。，3, 213-224 (1973) ·Zbl 0351.68014号 [12] 拉德纳，R.E。；利普顿，R.J。；Stockmeyer，L.J.，交替下推自动机（Conf.Proc.IEEE 19th Ann.Symp.on Foundations of Computer Science（1978）），92-106 [13] 兰道，E.（Handbuch der Lehre von der Verteilung der Primzahlen I（1909），Teubner：Teubner Leipzig/Berlin），222-229·JFM 40.0232.08标准 [14] Landau，E.，Uber die Maximalordung der Permutationen gegebenen Grades，档案。数学博士。与物理。，3, 92-103 (1903) ·JFM 34.0233.02号文件 [15] Liubicz，U.I.，非确定性自治自动机最优确定的边界，Sibirskii Matemat。Journal，2337-355（1964），（俄语）·Zbl 0192.08104号 [16] Lupanov，O.B.，《两种有限自动机的比较》，Problemy Kibernetiki，9，321-326（1963），（俄语） [17] Mendelsohn，N.S.，《线性丢番图方程及其在非负矩阵中的应用》，纽约科学院。科学。，175, 287-294 (1970) ·Zbl 0225.10010号 [18] Meyer，A.R。；Fischer，M.J.，《自动机、语法和形式系统描述的经济性》（第12届IEEE交换与自动机理论研讨会（1971）），188-191年 [19] Monien，B.，《LBA问题和单字母字母表上双向单计数器语言的确定性磁带复杂性》，《信息学报》。，8371-382（1977年）·兹比尔0357.68073 [20] Monien，B.，一个字母表上的双向多头自动机，RAIRO Inform。泰戈尔。，14, 67-82 (1980) ·Zbl 0442.68039号 [21] 拉宾，M。；Scott，D.，《有限自动机及其决策问题》，IBM J.Res.Dev.，3198-200（1959）·Zbl 0158.25404号 [22] Sakoda，W.J。；Sipser，M.，《不确定性和双向有限自动机的大小》，（第十届美国计算机学会计算理论研讨会（1978年），275-286·Zbl 1282.68160号 [23] Schmidt，M.，《无上下文、正则和有限语言描述的简洁性》（博士论文（1978），康奈尔大学） [24] Seiferas，J.I.，《关联精细空间复杂性类》，J.Compute。系统科学。，14, 100-129 (1977) ·Zbl 0352.68063号 [25] Seiferas，J.I.，《分离空间复杂性类的技术》，J.Compute。系统科学。，14, 73-99 (1977) ·Zbl 0352.68062号 [26] Shepardson，J.，《双向自动机到单向自动机的简化》，IBM J.Res.Dev.，3114-125（1959）·Zbl 1461.68105号 [27] Sipser，M.，清扫自动机大小的下限，J.Compute。系统科学。，21, 195-202 (1980) ·Zbl 0445.68064号 [28] Szalay，M.，《关于（S_n）和（S^*n）中的最大阶》，《算术学报》。，37, 321-331 (1980) ·Zbl 0443.10029号 [29] Trakhtenbort，B.A。；Barzdin，A.M.，《有限自动机》（1970），瑙卡：瑙卡莫斯科，（俄语） [30] Turan，P.，组合数学，分区，群论，（Serge，B.，Colloq.Internat.sulle Teorie Combinatorie（1976），国家科学院：罗马国家科学院），181-200·Zbl 0359.10041号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。