Use addTransition on DFA, not state.