Vom considera șirurile canonice ca fiind șirurile din mulțime care sunt mai mici lexicografic decât inversul lor.
Cele 9 șiruri canonice sunt: 0000, 0001, 0010, 0011, 0110, 0111, 1001, 1011, 1111.
Sirurile canonice sunt mai mici strict lexicografic sau mai mici sau egale decat inversul lor? (definitia relatiei de ordine lexicografica nu ia in considerare cazul de egalitate)
De asemenea sirurile "0000" si "1111" contin mai mult de 2 perechi de pozitii consecutive unde cifrele sunt egale.
Șirurile canonice sunt
mai mici sau egale lexicografic decât inversul lor! După cum se poate vedea și în exemplu,
0000 este considerat un șir canonic.
Un șir canonic are cel mult
K perechi de forma (aflate pe poziții consecutive):
01 sau
10.