一阶文法的互模拟等价性
计算机科学中的逻辑
2014-06-02 v1 形式语言与自动机理论
摘要
本文给出了一阶文法（用于重写一阶项根的带标号规则的有限集合）互模拟等价性的可判定性证明。该等价性推广了 DPDA（确定性下推自动机）等价性，该结果对应于 Senizergues（1998, 2005）在方程图或具受限 epsilon 步的 PDA 框架下取得的结果。经典一阶项框架似乎特别有助于提供一种更广大读者能够理解的证明。我们还讨论了向分支互模拟的扩展，该扩展由 Fu 和 Yin（2014）宣布。
引用
@article{arxiv.1405.7923,
title = {Bisimulation Equivalence of First-Order Grammars},
author = {Petr Jancar},
journal= {arXiv preprint arXiv:1405.7923},
year = {2014}
}
备注
This paper extends the version accepted to ICALP'14