Automata And Formal Languages Midterm