Параметризация решений уравнения $x_1x_2\dots x_{n-1}x_n=x_nx_{n-1}\dots x_2x_1$ в свободном моноиде

Вводится параметризующая функция $\mathrm{Sm}$. Параметризующая функция – это рекурсивная функция, зависящая от словарных переменных, натуральных переменных и переменных, значениями которых являются конечные последовательности натуральных переменных. С помощью функции $\mathrm{Sm}$ конструируются формулы, которые выписывают все решения уравнения
$$ x_1x_2\dots x_{n-1}x_n=x_nx_{n-1}\dots x_2x_1 $$
в свободном моноиде $\langle a_1,a_2,\dots,a_\omega\rangle$ и только их.
Библиография: 11 названий.