Category: Theory Of Automata