Added DFA graph