亨特，哈里·B·III；丹尼尔·罗森克兰茨。；托马斯·G·西曼斯基（Thomas G.Szymanski）。 关于正则语言和上下文无关语言的等价、包含和覆盖问题。 （英语） Zbl 0334.68044号 J.计算。系统。科学。 12, 222-268 (1976). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于2评论引用于42文件 MSC公司： 65年第68季度 形式语言和自动机 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Hunt III}等人，《计算杂志》。系统。科学。12、222--268（1976年；Zbl 0334.68044） 全文： 内政部 参考文献： [1] Aho，A.V。；霍普克罗夫特，J.E。；Ullman，J.D.，《计算机算法的设计与分析》，（1974年），Addison Wesley:Addison Wesley Reading，马萨诸塞州。）·Zbl 0286.68029号 [2] Aho，A.V。；Ullman，J.D.（《解析、翻译和编译理论》，第一卷（1972年），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州） [3] 贝克，B.S。；Book，R.V.，《可逆有界多下推机器》（1972年IEEE第13届开关与自动机理论研讨会论文集），207-211 [4] Book，R.V.，《多项式时间内接受的语言》，SIAM J.Computing，1281-287（1972）·Zbl 0251.68042号 [5] Book，R.公司。；偶数，S。；格雷巴赫，S。；Ott，G.，《图形和表达式中的歧义》（1969年第三届普林斯顿信息科学与系统年会论文集），第345-349页·Zbl 0294.94028号 [6] 科恩，R.S。；Brzozowski，J.A.，《关于规则事件的星高》，（第八届IEEE交换与自动机理论年会论文集（1967）），265-279 [7] 库克，S.A.，《理论证明程序的复杂性》（第三届ACM计算理论年会论文集（1971）），151-158·Zbl 0363.68125号 [8] Ginsburg，S.，《无语境语言的数学理论》（1966），麦格劳-希尔：麦格劳–希尔纽约）·Zbl 0184.28401号 [9] 南卡罗来纳州金斯堡。；Spanier，E.H.，有界正则集，Proc。阿默尔。数学。《社会学杂志》，第17期，第1043-1049页（1966年）·Zbl 0147.25301号 [10] 格雷，J.N。；Harrison，M.A.，《关于无上下文文法的覆盖和约简问题》，J.Assoc.Compute。机器。，19, 675-698 (1972) ·Zbl 0259.68035号 [11] Greibach，S.，关于形式语言不可判定属性的注释，数学。系统理论，2,1-6（1968）·Zbl 0157.01902号 [12] 霍普克罗夫特，J.E.，《关于无上下文语言的等价性和包容问题》，数学。系统理论，3119-124（1969）·Zbl 0179.02203号 [13] 霍普克罗夫特，J.E。；Ullman，J.D.（形式语言及其与自动机的关系（1969），Addison-Wesley：Addison-Whesley Reading，马萨诸塞州）·Zbl 0196.01701号 [14] 亨特，H.B.，《语言的时间和磁带复杂性》（康奈尔大学博士论文（1973））·Zbl 0357.68090号 [15] Hunt，H.B.，《关于语言的时间和磁带复杂性》，I，（第五届ACM计算理论年会论文集（1973）），10-19·Zbl 0357.68090号 [16] 亨特·H·B。；Rosenkrantz，D.J.，常规语言和上下文无关语言之间的计算相似性，（第六届年度会议论文集。美国计算机学会计算理论研讨会（1974）），64-73·Zbl 0374.68046号 [17] H.B.Hunt III，D.J.RosenkrantzT.G.Szymanski（西曼斯基）理论。计算。科学。；H.B.Hunt III，D.J.RosenkrantzT.G.Szymanski（西曼斯基）理论。计算。科学。 [18] Ibarra，O.H.，《关于非确定性磁带复杂性的注释》，J.Assoc.Compute。机器。，19, 608-612 (1972) ·兹比尔0245.94044 [19] Knuth，D.E.，《括号语言的特征》，Inform。控制。，11, 269-289 (1967) ·Zbl 0196.01703号 [20] Korenjak，A.J。；霍普克罗夫特，J.E.，《简单确定性语言》（第七届IEEE交换与自动机理论年会论文集，1966年），36-46·Zbl 0313.68061号 [21] McNaughton，R.，圆括号语法，J.Assoc.Compute。机器。，14, 490-500 (1967) ·Zbl 0168.01206号 [22] McNaughton，R.，规则事件的循环复杂性，Inform。科学。，1, 305-328 (1969) [23] 麦克诺顿，R。；Papert，S.，（Counter-Free Automata（1971），麻省理工学院出版社：麻省剑桥大学出版社。）·Zbl 0232.94024号 [24] Meyer，A.R。；Stockmeyer，L.J.，带平方的正则表达式的等价问题需要指数空间，（第13届IEEE交换与自动机理论年会论文集（1972）），125-129 [25] 保尔，M.C。；Unger，S.H.，无上下文语法的结构等价，J.Compute。系统科学。，2, 427-468 (1968) ·Zbl 0179.02301号 [26] 罗森克兰茨博士。；Stearns，R.E.，确定性自顶向下文法的属性，Inform。控制。，17, 226-256 (1970) ·Zbl 0209.02703号 [27] Savitch，W.，《不确定性和确定性磁带复杂性之间的关系》，J.Compute。系统科学。，4, 177-192 (1970) ·Zbl 0188.33502号 [28] Seiferas，J.I。；费舍尔，M.J。；Meyer，A.R.，《不确定性时间和空间层次的精化》，（第14届IEEE开关与自动机理论年度研讨会论文集（1973）），130-137 [29] Stockmeyer，L.J.，《自动机理论和逻辑中决策问题的复杂性》（报告TR-133（1974），麻省理工学院，项目MAC:M.I.T.，项目MAC剑桥，马萨诸塞州）·Zbl 0444.94037号 [30] Stockmeyer，L.J。；Meyer，A.R.，需要指数时间的单词问题，（第五届ACM计算理论年会论文集（1973）），1-9·Zbl 0359.68050号 [31] A.耶胡代；A.耶胡代 [32] Hunt，H.B.，《语言的时间和磁带复杂性》，I（1973年1月），康奈尔大学计算机科学系，TR73-156·Zbl 0357.68090号 [33] 亨特·H·B。；Szymanski，T.G.，《论语法的复杂性和相关问题》，（第七届美国计算机学会计算理论年度研讨会论文集（1975）），54-65·Zbl 0361.68078号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。