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

Станислав Владимирович Алешин, Stanislav Vladimirovich Aleshin
2011 Дискретная математика  
Построен новый пример свободной подгруппы группы автоматных подстановок. Указаны два автомата с тремя состояниями, которые порождают эту подгруппу, при этом внутренние полугруппы этих автоматов не являются группами.
doi:10.4213/dm1151 fatcat:azfodhxgvnclli5ss6kvnggcri