CMPE471 - Automata Theory