通过一阶文法对DPDA语言等价性进行的简短确定性证明
摘要：确定定常下推自动机的语言等价性问题的可决性的简短自包含证明是本文的主要目标，该问题是由G. Senizergues解决的，C. Stirling导出了一个原始递归复杂性上界。这里的证明是在一阶文法的框架下给出的，似乎特别适合这个目标。附录介绍了Stirling方法的修改，得到了一个形式为tetr(2,g(n))的复杂性界，其中tetr是迭代指数运算（超级幂运算）的（非元素）算子，g是输入大小的初等函数。
作者：Petr Jancar
论文ID：1010.4760
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-03-10