Deixe a e c ser dois caracteres em uma seqüência de caracteres codificados < A,... c >. c é bloqueado da se e somente se ccc(A) = 0 e lá existem algum caractere b entre a e c no caráter codificado seqüência, ou seja, < A,... B,... c > e ambos ccc(B) = 0 ou ccc(B) > = ccc(C).

• Porque o algoritmo de composição canônico opera uma cadeia de caracteres que está na ordem canônica, testar se um caractere é bloqueado requer olhando apenas o caractere imediatamente anterior da seqüência.