关于二阶下推过程双模拟不可判定性的注记
计算机科学中的逻辑
2013-03-05 v1 形式语言与自动机理论
摘要
Broadbent和Göller (FSTTCS 2012)证明了由无ε二阶下推自动机生成的过程的双模拟等价性的不可判定性。我们就所使用的证明技术（称为Defender's forcing）以及关于带ε转移的一阶下推自动机的相关不可判定性证明（Jančar和Srba, JACM 2008）补充了一些评论。
引用
@article{arxiv.1303.0780,
title = {Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes},
author = {Petr Jančar and Jiří Srba},
journal= {arXiv preprint arXiv:1303.0780},
year = {2013}
}