February 1994/Two Fast Pattern-Matching Algorithms/Figure 5

Figure 5a

initial state = 1...111111

state<<1      = 1...111110
T[s]          = 1...111110
              ------------- or
new state       1...111110

Figure 5b

state<<1      = 1...101110
T[e]          = 1...101011
              ------------ or
new state       1...101111