On two-way multihead automata

Characterizations of Pushdown Machines in Terms of Time-Bounded Computers

Stephen Cook · Journal of the ACM · 1971 · 362 citations · Full text

Computing, Computer Science, Computer Architecture +6

Two-Tape Simulation of Multitape Turing Machines

F. C. Hennie, Richard E. Stearns · Journal of the ACM · 1966 · 287 citations · Full text

Computing, Computer Science, Algorithms +8

Time and tape complexity of pushdown automaton languages

Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman · Information and Control · 1968 · 88 citations

Computing, Computer Science, Computer Systems +13

Multi-tape and multi-head pushdown automata

Michael A. Harrison, Óscar H. Ibarra · Information and Control · 1968 · 73 citations

Computing, Computer Science, Formal Methods +8

Characterizations of some tape and time complexity classes of turing machines in terms of multihead and auxiliary stack automata

Óscar H. Ibarra · Journal of Computer and System Sciences · 1971 · 70 citations

Computing, Computer Science, Mathematics +14