Added Automaton and State