\Sigma = \{a_0, a_1, \ldots, a_n\}. Niech S_k - zbiór wszystkich słów nad alfabetem nie zawierającym słowa a_k:
S_k = \left( \sum_{i \neq k} a_i \right)^*
w_0 = a_0
w_k = (w_{k-1}a_k)^* \cap S_ka_kS_ka_k
Nasze słowo to w_n.
