Система компьютерной алгебры GAP - AutomGrp package
Добрый день!
Вышла новая версия 1.1.1 пакета AutomGrp(http://finautom.sourceforge.net/), авторы которого - Евгений Мунтян и Дмитрий Савчук. Пакет включает в себя алгоритмы для работы с конечно порожденными самоподобными группами и полугруппами. Некоторые алгоритмы работают только в классе групп и полугрупп, порожденных конечными автоматами.