确定性下推自动机在无限字上的决策问题
摘要：无限字（ω-DPDA）上的一些DPDA可决问题的调查 关于弱ω-DPDA类的正规性和等价性问题的最新结果的总结 此外，我们针对ω-DPDA的奇数索引问题提出了一些新结果 对于奇数条件的规范，ω-DPDA的状态被赋予优先级（自然数），如果在运行过程中出现的最高优先级是偶数，则接受该运行 基本的简化问题是询问是否能确定需要接受给定ω-DPDA语言的最小优先级数 我们对一些ω-DPDA类的此类问题的变体提供一些可确定性的结果
作者：Christof L"oding
论文ID：1405.5596
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-05-23