Decision problems of finite automata design and related arithmetics (1961)

by Calvin C Elgot
Venue:Transactions of the American Mathematical Society