BCS 201 Automata Theory