Testing and generating infinite sequences by a finite automaton (1966)

by McN66 Robert McNaughton
Venue:Information and Control