Working on NFA to DFA translation