Jancar 用于判定一阶文法互模拟的形式系统及其不可靠性
形式语言与自动机理论
2011-01-27 v1 计算机科学中的逻辑
摘要
我们构造了源自 arXiv:1010.4760v3 的主要形式系统中的一个证明示例，该系统旨在刻画非确定性一阶文法的互模拟等价性，并证明其结论在语义上是错误的。随后，我们定位并分析了上述参考文献中可靠性（元）证明里的有缺陷论证。
引用
@article{arxiv.1101.5046,
title = {Jancar's formal system for deciding bisimulation of first-order grammars and its non-soundness},
author = {Géraud Sénizergues},
journal= {arXiv preprint arXiv:1101.5046},
year = {2011}
}
备注
12 pages, 9 figures