Example: If we consider the pattern aba.a (. means "any letter") on the binary alphabet  = {a, b}. We define vertex set  = {a, b, ab, aba, abaa, abab} and then the structure of the DFA counting the overlapping occurrences (set of vertexes and structure would have been slightly different in the renewal case) of the pattern is given by