On the complexity of ω-type Turing acceptors

Formal Languages and their Relation to Automata

James B. Morris · Nuclear Science and Engineering · 1970 · 1K citations

Theory Of Computing, Programming Language Theory, Syntax +14

Testing and generating infinite sequences by a finite automaton

Robert McNaughton · Information and Control · 1966 · 478 citations

Engineering, Automated Reasoning, Software Testing +7

Decision problems forω-automata

Lawrence H. Landweber · Theory of Computing Systems · 1969 · 258 citations

Decision Problems, Logical Automaton, Engineering +5

Infinite sequences and finite machines

David E. Muller · 1963 · 219 citations

Entropy, Finite Model Theory, Finite-state System +2

Theories of automata on ω-tapes: A simplified approach

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

Pushdown Automaton, Formal Methods, Automaton Network +2