ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2002, ТОМ 8, ВЫПУСК 2, СТР. 503-516

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

Д. А. Мацнев

Аннотация

Посмотреть как HTML    Посмотреть как рисунок    Посмотреть в формате LaTeX

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

Полнотекстовая версия статьи в формате PostScript (70 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/k02/k022/k02208h.htm.
Изменения вносились 26 ноября 2002 г.