具有数据的高阶推入系统
摘要：扩展的高阶推下自动机对无限字母表进行了扩展。这些新的自动机能够识别数据字（而不是常规字），除了每个字母来自有限字母表外，还附有来自无限字母表的数据值。这些数据值可以加载到自动机的栈中，然后与输入中的其他数据值进行比较。我们引入这些自动机的主要目的是帮助分析没有数据的常规自动机。作为示例，我们给出了一个证明：具有崩溃的确定性自动机可以识别的语言比没有崩溃的确定性自动机可以识别的语言更多。这个证明比没有数据的情况下简单。我们还提出了一个假设，即新的自动机模型与原始的高阶推下自动机模型之间可能存在关联。
作者：Pawe{l} Parys (University of Warsaw)
论文ID：1210.2460
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-10-10