可判定下推自动机与不可判定下推自动机之间的分界线
计算机科学中的逻辑
2014-04-29 v1
摘要
Senizergues证明了不相交ε-确定型下推自动机（PDA）的语言等价性是可判定的。Stirling证明了PDA的强互模拟等价性是可判定的。在否定方面，Srba证明了规范PDA的弱互模拟等价性是不可判定的。后来Jancar和Srba建立了不相交ε-推入PDA和不相交ε-弹出PDA的弱互模拟等价性的不可判定性。本文扩展了这些可判定性和不可判定性结果。扩展是通过研究几种PDA变体的分支互模拟等价性检查问题来实现的。
引用
@article{arxiv.1404.7015,
title = {Dividing Line between Decidable PDA's and Undecidable Ones},
author = {Yuxi Fu and Qiang Yin},
journal= {arXiv preprint arXiv:1404.7015},
year = {2014}
}
备注
26 pages, 9 figures