Title: Theorems for finite automata
First published: 1971
Subjects: Machine theory, Sequential machine theory, Theorems for Finite automata