Title: Algebraic theory of automata
Subjects: Machine theory