Automata Theory Part2-3