洛伯特·塞莱普塞尼 非确定自动机的强制枚举方法。 （英语） Zbl 0638.68046号 学报信息。 26，第3号，279-284（1988）. 本文提出了一种模拟不确定图灵机的新方法。该方法强制非确定性图灵机的每一个可接受计算检查在输入字w上工作的模拟非确定性图灵机的所有可达配置。重要的是，模拟机不比原始图灵机使用更多的空间。利用新的方法，我们证明了L（n）（geq\log n）的非确定性L（n，tape-bound Turing机器所识别的每一类语言都是补码闭的。作为一种特殊情况，上下文敏感语言在补语下的封闭性如下。审核人：R.Szelepcsényí 引用于5评论引用于129文件 MSC公司： 65年第68季度 形式语言和自动机 2005年第68季度 计算模型（图灵机等）（MSC2010） 关键词：强制枚举;非确定性自动机;不确定图灵机;上下文敏感语言的闭包;补充 PDF格式BibTeX公司 XML格式引用 \textit{R.Szelepcsényi}，Acta Inf.26，No.3，279--284（1988；Zbl 0638.68046） 全文： DOI程序 参考文献： [1] 霍普克罗夫特，J.E.，乌尔曼，J.D.：形式语言及其与自动机的关系。阅读：Addison-Wesley 1969·Zbl 0196.01701号 [2] Immerman，N.：不确定性空间在互补下是封闭的。复杂性理论第三届年会结构会议记录，1988年6月14日至17日，华盛顿特区（也是TH报告YALEU/DCS/TR 5521987年7月） [3] Immerman，N.：描述和计算复杂性，（未出版手稿，1987年）·Zbl 0634.68034号 [4] Kuroda，S.Y.：语言类和线性有界自动机。信息控制7207-233（1964）·Zbl 0199.04002号 ·doi:10.1016/S0019-9958（64）90120-2 [5] Szepcsényi，R.：上下文敏感语言在互补下是封闭的，TR Komensky大学，1987年4月（斯洛伐克语） [6] Szelepcsényi，R.：非确定性自动机的强制方法。牛市。欧洲协会。公司。科学。33, 96-100 (1987) ·兹比尔0664.68082 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。