Równania napisów
Przyjrzyjmy się problemowi równań napisów: dla ustalonego alfabetu, np. 
piszemy równania używające liter z tegoż alfabetu oraz zmiennych, które będziemy oznaczać przez 
Dla uproszczenia pomyślmy o jednym równaniu, np. 
Rozwiązaniem będą takie napisy, złożone z liter alfabetu, że po podstawieniu pod zmienne uzyskamy takie same napisy....