Finite-state ω-languages

Derivatives of Regular Expressions

Janusz Brzozowski · Journal of the ACM · 1964 · 931 citations · Full text

Computing, Electrical Engineering, Derivatives +5

Testing and generating infinite sequences by a finite automaton

Robert McNaughton · Information and Control · 1966 · 481 citations

Computing, Computer Science, Algorithms +7

Theory of Automata

George N. Raney, Arto Salomaa · Mathematics of Computation · 1971 · 249 citations

Theories of automata on ω-tapes: A simplified approach

Yaacov Choueka · Journal of Computer and System Sciences · 1974 · 210 citations

Computing, Computer Science, Formal Methods +9

On ω-regular sets

Klaus W. Wagner · Information and Control · 1979 · 176 citations