Automata Theory Part1