Автоматное представление свободной группы

Построен новый пример свободной подгруппы группы автоматных подстановок. Указаны два автомата с тремя состояниями, которые порождают эту подгруппу, при этом внутренние полугруппы этих автоматов не являются группами.