Multi-tape and multi-head pushdown automata

Finite Automata and Their Decision Problems

M. O. Rabin, D. Scott · IBM Journal of Research and Development · 1959 · 1.9K citations

Computing, Computer Science, Mathematics +9

Computability and Unsolvability.

Calvin C. Elgot, Martin Davis · Mathematical Tables and Other Aids to Computation · 1959 · 1K citations

On Context-Free Languages

Rohit Parikh · Journal of the ACM · 1966 · 782 citations · Full text

Computing, Computer Science, Mathematics +17

The mathematical theory of context-free languages

H. P. Edmundson · Information Storage and Retrieval · 1967 · 738 citations

Computing, Computer Science, Mathematics +11

On Relations Defined by Generalized Finite Automata

Calvin C. Elgot, J. E. Mezei · IBM Journal of Research and Development · 1965 · 315 citations

Computing, Computer Science, Mathematics +13