CS241 : Automata Theory and Formal Language