|
Фундаментальная и прикладная математика, 2002, том 8, выпуск 2, страницы 503–516
(Mi fpm657)
|
|
|
|
О распознавании конечной определённости автоматных мономиальных алгебр
Д. А. Мацнев
Аннотация:
В работе предложен алгоритм распознавания конечной определённости произвольной автоматной мономиальной алгебры. Показано, что эта задача для произвольной алгебры сводится к задачам нахождения звёздной высоты регулярного языка и распознавания конечной определённости для некоторого класса автоматных алгебр. Решение первой задачи уже описано в литературе, полное решение второй задачи представлено в данной работе.
Ключевые слова:
мономиальная алгебра, конечный автомат, регулярный язык.
Поступила в редакцию: 01.06.1999
Образец цитирования:
Д. А. Мацнев, “О распознавании конечной определённости автоматных мономиальных алгебр”, Фундамент. и прикл. матем., 8:2 (2002), 503–516
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fpm657 https://www.mathnet.ru/rus/fpm/v8/i2/p503
|
Статистика просмотров: |
Страница аннотации: | 278 | PDF полного текста: | 131 | Список литературы: | 44 | Первая страница: | 1 |
|