Title: Finite automata
Subjects: Sequential machine theory