Системы стандартных уравнений в словах в $n$-слойном алфавите неизвестных

Доказана теорема сведения систем уравнений в словах и длинах к системам стандартных уравнений в словах в $n$-слойном алфавите неизвестных.
Библ. 1.