Automata Theory Part7