More work on NFA to DFA, fixed addTransition bug.