Testing and Generating In nite Sequences by a Finite Automaton (1966)

by R McNaughton
Venue:Information and Control