state q i with i < n + 1 has exactly one outgoing transition to state q i+1 and all other transitions are to states with labels at most i.
removing state q n+1 and all incoming and outgoing transitions and making q n the only final state results in the DFA for .