Two Decidability Results for Deterministic Pushdown Automata

Matti Linna. Two Decidability Results for Deterministic Pushdown Automata. In Jozef Gruska, editor, Mathematical Foundations of Computer Science 1977, 6th Symposium, Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings. Volume 53 of Lecture Notes in Computer Science, pages 365-373, Springer, 1977.

Abstract

Abstract is missing.