Derivation-bounded languages

On formal properties of simple phrase structure grammars

Americanae (AECID Library) · 1960 · 180 citations

Computing, Computer Science, Formal Methods +10

Finite-Turn Pushdown Automata

Seymour Ginsburg, Edwin H. Spanier · SIAM Journal on Control · 1966 · 175 citations

Computing, Computer Science, Algorithms +13

Control sets on grammars

Seymour Ginsburg, Edwin H. Spanier · Theory of Computing Systems · 1968 · 118 citations

Language Studies, Computer Science, Mathematics +7

A note on undecidable properties of formal languages

Sheila A. Greibach · Theory of Computing Systems · 1968 · 69 citations

Computing, Computer Science, Formal Methods +12

Inclusion relations among families of context-free languages

Mary Katherine Yntema · Information and Control · 1967 · 50 citations

Language Studies, Computer Science, Sociolinguistics +8