Testing and Generating Infinite Sequences by a Finite Automaton (1966)

by R McNaughton
Venue:Information and Control