Automata Theory Part8