将非确定性自动机和上下文无关文法转换为Parikh等效的单向和双向确定性自动机。
摘要：关于一元非确定有限自动机和上下文无关文法转化为Parikh等价的一元和双向确定有限自动机，我们从描述复杂性的角度进行研究。我们证明了对于每个具有n个状态的一元非确定自动机，存在具有e^{O(sqrt{n ln n})}个和p(n)个状态的Parikh等价的一元和双向确定自动机，其中p(n)是一个多项式。此外，这些成本是紧凑的。相比之下，如果给定自动机接受的所有单词都包含至少两个不同的字母，则可以找到一个具有多项式个状态的Parikh等价的一元确定自动机。 关于上下文无关文法，我们证明了对于每个Chomsky标准形式的具有h个变量的文法，存在具有2^{O(h^2)}个和2^{O(h)}个状态的Parikh等价的一元和双向确定有限自动机。即使这些界限也是紧凑的。
作者：Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki
论文ID：1212.1346
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-12-12