Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes [article]

Petr Jančar, Jiří Srba
2013 arXiv   pre-print
Broadbent and Göller (FSTTCS 2012) proved the undecidability of bisimulation equivalence for processes generated by epsilon-free second-order pushdown automata. We add a few remarks concerning the used proof technique, called Defender's forcing, and the related undecidability proof for first-order pushdown automata with epsilon-transitions (Jančar and Srba, JACM 2008).
arXiv:1303.0780v1 fatcat:kxtaimjrn5bibe3ysk7gbr7gke