Finish implementation of NFA to DFA conversion