Title: Theory of Automata