More Definitions….
psuffix(s,i) = prev(SiSi+1…Sn)
S=abxvabuvu prev(S)=ab00ab442
psuffix(S,5)=ab002
P2: if P is a p-string pattern, and S is a p-string text, P p-matches at position i iff prev(P) is a prefix of psuffix(S,i)
P=abu
prev(P)=ab0
psuffix(S,1)=ab00ab442
psuffix(S,2)=b00ab442
psuffix(S,3)=00ab442
psuffix(S,4)=0ab042
psuffix(S,5)=ab002
-