NFA to DFA converter added.