关于高阶推进系统表达能力的探讨
摘要：确定性可折叠下推自动机可以识别一个不可由任何确定性高阶下推自动机（无折叠）识别的语言。这意味着存在一个由二阶可折叠下推系统（等价地，由二阶递归方案）生成的树，该树不能由任何确定性高阶下推系统（无折叠）生成（等价地，由任何任意阶安全递归方案生成）。副作用是，我们给出了确定性高阶下推自动机的泵引理，这可能对其他应用有用。
作者：Pawe{l} Parys
论文ID：2008.00650
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22