Concepedia

A note on undecidable properties of formal languages

Sheila A. Greibach

Theory of Computing Systems · 1968 · 69 citations · 10 references

DOI

Concepts

References

10

Finite Automata and Their Decision Problems

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

, , +9

The mathematical theory of context-free languages

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

, , +11

Bounded Algol-Like Languages

Seymour Ginsburg, Edwin H. Spanier · Transactions of the American Mathematical Society · 1964 · 249 citations

Deterministic context free languages

Seymour Ginsburg, Sheila A. Greibach · Information and Control · 1966 · 245 citations

, , +6

One-way stack automata

Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison · Journal of the ACM · 1967 · 225 citations · Full text

, , +9