Automata Theory Part1.2