确定性下推自动机和一元语言
摘要：确定性下推自动机在一字母字母表上的模拟问题从描述复杂度角度进行了研究。我们证明了每个大小为s的一元确定性下推自动机可以被一个状态数指数级增长的确定性有限自动机模拟。我们证明了这种模拟是紧的。此外，即使是由双向非确定性自动机执行，它的成本也不能降低。我们还证明了存在一元语言，其中确定性下推自动机比有限自动机不能指数级更简洁。为了陈述这个结果，我们研究了确定性下推自动机向上下文无关文法的转化。我们证明了在一元情况下，生成的文法的变量数量严格小于非一元字母表情况下所需的变量数量。
作者：Giovanni Pighizzini
论文ID：0905.1248
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-05-11