of length n = 20, the pattern occurrences end in positions 9,11 and 18. Processing this sequence into the DFA gives