By contrast, we use |Σ x | + 1 states, where each state records the most recent output character (initially, a special "beginning-of-string" symbol $).
the state label h is the "history" output character immediately before the edit s : t, so the state label h is the history before the next edit, namely the final character of ht.