О распознавании конечной определённости автоматных мономиальных алгебр

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