Scifaro

中文

一阶文法的互模拟等价是 ACKERMANN-完全的

计算机科学中的逻辑 2019-08-20 v1 形式语言与自动机理论

作者: Petr Jančar , Sylvain Schmitz

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

S\'enizergues（1998, 2005）证明了检查两个具有受限静默动作的下推自动机是否弱互模拟是可判定的。我们在等价的一阶文法设定下，为此著名问题给出了首个已知的复杂度上界。该 ACKERMANN 上界是最优的，并且我们还证明了当自动机状态数固定时强互模拟是原始递归的。

关键词

互模拟等价一阶文法下推自动机 ACKERMANN-完全计算复杂度

引用

@article{arxiv.1901.07170,
  title  = {Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete},
  author = {Petr Jančar and Sylvain Schmitz},
  journal= {arXiv preprint arXiv:1901.07170},
  year   = {2019}
}