An intermediate machine technique for deciding equivalence between a DPDA and a linear DPDA

DOI10.1016/S0019-9958(84)80008-XzbMath0591.68052MaRDI QIDQ3719834

Yair Itzhaik, Amiram Yehudai

Publication date: 1984

Published in: Information and Control (Search for Journal in Brave)

zbMATH Keywords

deterministic pushdown automataequivalence problemdeterministic context-free languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: An intermediate machine technique for deciding equivalence between a DPDA and a linear DPDA