基于一阶文法的下推自动机等价性
计算机科学中的逻辑
2020-08-18 v2 形式语言与自动机理论
摘要
给出了一阶文法互模拟等价可判定性的证明。这是对 Sénizergues (1998, 2005) 结果的另一种证明，该结果包含其对确定性下推自动机著名可判定性问题的肯定解答。所给出的证明在概念上更为简单，其特别新颖之处在于它不是作为两个半判定过程给出，而是提供了一个可能适用于复杂性分析的显式算法。
引用
@article{arxiv.1812.03518,
title = {Equivalence of pushdown automata via first-order grammars},
author = {Petr Jancar},
journal= {arXiv preprint arXiv:1812.03518},
year = {2020}
}
备注
version accepted to JCSS