Свободные произведения конечных групп и группы конечно автоматных подстановок

Приводится конструктивное доказательство изоморфной вложимости свободного произведения конечного числа конечных групп в группу конечно автоматных подстановок над алфавитом, число символов которого равно наибольшему из порядков свободных множителей.