In the KMP DFA, state q i has exactly one transition to state q i+1 and |Σ| − 1 transitions to lower (or equal) states.
there is no path from a state of label i to a state with label at least i + 2 that does not go through state i + 1.