Equivalence of pushdown automata via first-order grammars
Abstract
A decidability proof for bisimulation equivalence of first-order grammars is given. It is an alternative proof for a result by Sénizergues (1998, 2005) that subsumes his affirmative solution of the famous decidability question for deterministic pushdown automata. The presented proof is conceptually simpler, and a particular novelty is that it is not given as two semidecision procedures but it provides an explicit algorithm that might be amenable to a complexity analysis.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2018
- DOI:
- 10.48550/arXiv.1812.03518
- arXiv:
- arXiv:1812.03518
- Bibcode:
- 2018arXiv181203518J
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Formal Languages and Automata Theory
- E-Print:
- version accepted to JCSS