Title: Theory of automata