Decision problems forω-automata

Testing and generating infinite sequences by a finite automaton

Robert McNaughton · Information and Control · 1966 · 481 citations

Computing, Computer Science, Algorithms +7

Solving sequential conditions by finite-state strategies

J Büchi, Lawrence H. Landweber · Transactions of the American Mathematical Society · 1969 · 272 citations · Full text

Computing, Computer Science, Mathematics +12

Definability in the monadic second-order theory of successor

J Büchi, Lawrence H. Landweber · Journal of Symbolic Logic · 1969 · 44 citations

Humanities, Mathematics, Logic +9

Sets of Numbers Defined by Finite Automata

Juris Hartmanis · American Mathematical Monthly · 1967 · 32 citations

Computing, Computer Science, Mathematics +10

Structure of undecidable problems in automata theory

Juris Hartmanis, John E. Hopcroft · 1968 · 12 citations

Computing, Computer Science, Algorithms +13