Title: Theory of finite automata
Subjects: Formal languages, Sequential machine theory