Конечная параметризация решений уравнений в свободном моноиде. II

В предыдущей работе автора были введены параметризующие функции Fi, Th, Ro, зависящие от словарных переменных, натуральных переменных и переменных, значениями которых являются конечные последовательности натуральных переменных. С помощью параметризующих функций Fi, Th, Ro выписываются конечные формулы для семейства решений всякого уравнения вида $\varphi(x_1,x_2,x_3) x_4=\psi(x_1,x_2,x_3) x_5$, где $\varphi(x_1,x_2,x_3)$, $\psi(x_1,x_2,x_3)$ – произвольные слова в алфавите $x_1$, $x_2$, $x_3$ в свободном моноиде.
Библиография: 12 названий.