ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2005, ТОМ 11, ВЫПУСК 2, СТР. 101-113
С. А. Илясов
Аннотация
Посмотреть как HTML
Посмотреть как рисунок
В статье рассматривается проблема алгоритмического построения левого модуля сизигий конечной системы элементов автоматной мономиальной алгебры. Класс автоматных мономиальных алгебр включает в себя свободные и конечно определённые алгебры, в которых левый модуль сизигий конечной системы элементов конечно порождён. Левый модуль сизигий автоматной мономиальной алгебры, вообще говоря, не будет конечно порождённым, однако его порождающие могут быть рекурсивно заданы с помощью конечных автоматов. Это позволяет решать многие алгоритмические проблемы в автоматных мономиальных алгебрах, такие как решение линейных уравнений, распознавание вхождения в левый идеал и распознавание делителей нуля.
Полнотекстовая версия статьи в формате PDF (160 Kb)
| Главная страница | Содержание журнала | Новости | Поиск |
URL страницы: http://mech.math.msu.su/~fpm/rus/k05/k052/k05207h.htm
Изменения вносились 9 июня 2005 г.