NFA to DFA wip