Automata Theory door Matthew Simon