ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2002, ТОМ 8, ВЫПУСК 2, СТР. 503-516
Д. А. Мацнев
Аннотация
Посмотреть как HTML
Посмотреть как рисунок
Посмотреть в формате LaTeX
В работе предложен алгоритм распознавания конечной определённости
произвольной автоматной мономиальной алгебры. Показано, что эта
задача для произвольной алгебры сводится к задачам нахождения
звёздной высоты регулярного языка и распознавания конечной
определённости для некоторого класса автоматных алгебр. Решение
первой задачи уже описано в литературе, полное решение второй задачи
представлено в данной работе.
Полнотекстовая версия статьи в формате PostScript (70 Kb)
| Главная страница | Содержание журнала | Новости | Поиск |
URL страницы: http://mech.math.msu.su/~fpm/rus/k02/k022/k02208t.htm.
Изменения вносились 26 ноября 2002 г.