One might expect that the SUBST(t) edit operation that reads s = x i+1 and writes t = y j+1 would correspond to an arc with s, t as its input and output labels.
we give a more efficient design where in the course of reaching q C , the PFST has already read s and indeed the entire right input context C 2 = x i:(i+N 2 ) .