卡洛·梅雷盖蒂;乔瓦尼·皮奇奇尼 一元自动机之间的优化模拟。 (英语) Zbl 0980.68048号 SIAM J.计算。 1976-1992年第6期第30页(2001年). 摘要:我们考虑计算不同类型的有限自动机之间识别一元语言的最佳模拟的成本(以状态表示)的问题。我们的主要结果是用(O(e^{sqrt{n\ln}})状态单向确定性自动机对一元状态双向非确定性自动机进行了严格模拟。此外,我们还证明,给定一元状态双向非确定性自动机,可以构造等价的(O(n^2)状态双向非确定自动机,只在输入磁带的末端执行输入磁头反转和非确定选择。还讨论了模拟一元单向交替有限自动机的进一步结果。 引用于2评论引用于46文件 MSC公司: 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 65年第68季度 形式语言和自动机 关键词:形式语言;确定性;不确定性的;和交替有限状态自动机;一元语言 PDF格式BibTeX公司 XML格式引用 \textit{C.Mereghetti}和\textit{G.Pighizini},SIAM J.Compute。1976-1992年第6号第30页(2001年;兹bl 0980.68048) 全文: 内政部