Journal of Computer and System Sciences · 2002 · 47 citations · 19 references
Pushdown AutomataSyntaxEngineeringAutomated ReasoningGrammatical FormalismComputational LinguisticsFormal MethodsPushdown AutomatonAutomaton OperationGrammarDescriptional ComplexityLanguage StudiesUnification GrammarLinguisticsUnary Context-free Grammars
19
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.8K citations
Rohit Parikh · Journal of the ACM · 1966 · 775 citations · Full text
Hierarchies of memory limited computations
Richard E. Stearns, Juris Hartmanis, Philip Lewis · 1965 · 357 citations
Economy of description by automata, grammars, and formal systems
Albert R. Meyer, Michael J. Fischer · 1971 · 320 citations