Decidability of the equivalence problem for synchronous deterministic pushdown-store automata

zbMath0572.68037MaRDI QIDQ1062450

A. Sh. Nepomnyashchaya

Publication date: 1984

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

context-free languagedeterministic pushdown automatasynchronous DPDA

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Decidability of the equivalence problem for synchronous deterministic pushdown-store automata