Zakharov, Vladimir A. On the decidability of the equivalence problem for monadic recursive programs. (English) Zbl 0962.68091 Theor. Inform. Appl. 34, No. 2, 157-171 (2000). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI EuDML Link
Sénizergues, Géraud The equivalence problem for deterministic pushdown automata is decidable. (English) Zbl 1401.68168 Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 671-681 (1997). MSC: 68Q45 03B25 68Q70 × Cite Format Result Cite Review PDF Full Text: DOI