Variations on pushdown machines (Detailed Abstract)

DOI10.1145/800169.805437zbMath1282.68103OpenAlexW2085524178MaRDI QIDQ5402522

Stephen A. Cook

Publication date: 14 March 2014

Published in: Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/800169.805437

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

On Stateless Multihead Finite Automata and Multihead Pushdown Automata, Time- and tape-bounded Turing acceptors and AFLs, Writing stack acceptors