Deterministic Pushdown Store Machines and Real-Time Computation
From MaRDI portal
Publication:5183095
DOI10.1145/321637.321649zbMath0274.68013MaRDI QIDQ5183095
Publication date: 1971
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/321637.321649
Related Items
Intersections de langages algébriques bornes, 1-way stack automaton with jumps, Iterative arrays with direct central control, Nondeterminism and Boolean operations in pda's, Classes of formal grammars