Journal of the ACM Bibliography
J. D. Ullman. Halting stack
automata. Journal of the ACM, 16(4):550-563, October 1969.
[BibTeX entry]
Additional Key Words and Phrases:
stack automaton, halting problem, recursiveness, complementation,
transition matrix, closure properties, nondeterministic stack automaton
Selected papers that cite this one
Selected references
- Seymour Ginsburg, Sheila A. Greibach, and Michael A. Harrison. Stack automata and
compiling. Journal of the ACM, 14(1):172-201, January
1967.
- Seymour Ginsburg, Sheila A. Greibach, and Michael A. Harrison. One-way stack automata.
Journal of the ACM, 14(2):389-418, April 1967.
- James N. Gray, Michael A. Harrison, and Oscar H. Ibarra. Two-way pushdown automata.
Information and Control, 11(1/2):30-70, July-August 1967.
- J. E. Hopcroft and J. D. Ullman. Sets accepted by one-way stack
automata are context sensitive. Information and
Control, 13(2):114-133, August 1968.
- J. E. Hopcroft and J. D. Ullman. Some results on tape-bounded
Turing machines. Journal of the ACM, 16(1):168-177,
January 1969.
Shortcuts: