mark final states in a converted dfa