Added Graph and Automata