Figure 6.

Parsing sequence S into three non-overlapping intervals t₀, t₁ and t₂ with the state assignments q₁, q₂ and q₃, respectively. Position k marks an index in S. The dashed box highlights the evidence overlapping the first interval from position b₀ to e₀.