Formal Language And Automata Theory Notes