On some decision questions concerning pushdown machines
- 31 August 1983
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 24 (3) , 313-322
- https://doi.org/10.1016/0304-3975(83)90006-3
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The equivalence problem for real-time strict deterministic languagesInformation and Control, 1980
- Some decidability results about regular and pushdown translationsInformation Processing Letters, 1979
- The decidability of equivalence for deterministic stateless pushdown automataInformation and Control, 1978
- Reversal-Bounded Multicounter Machines and Their Decision ProblemsJournal of the ACM, 1978
- The equivalence problem for deterministic finite-turn pushdown automataInformation and Control, 1974
- An Infinite Hierarchy of Context-Free LanguagesJournal of the ACM, 1969