Decidability of the Equivalence Problem for Synchronous Deterministic Pushdown Automata

A. Sh. Nepomnjashchaja. Decidability of the Equivalence Problem for Synchronous Deterministic Pushdown Automata. In Michal Chytil, Václav Koubek, editors, Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings. Volume 176 of Lecture Notes in Computer Science, pages 425-432, Springer, 1984.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.