Automata Theory And Formal Languages Notes