|
Интеллектуальные системы. Теория и приложения, 2016, том 20, выпуск 3, страницы 112–114
(Mi ista99)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О сложности моделирования автоматами регулярных событий
С. С. Морозов Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Аннотация:
Изучается свойство автомата содержать во множестве своих выходных слов заданное регулярное множество. Устанавливается, что данное свойство может быть проверено путем изучения строения множества выходных слов автомата ограниченной длины.
Ключевые слова:
абстрактный конечный автомат, регулярное событие, регулярное выражение, генератор, алгоритмическая разрешимость.
Образец цитирования:
С. С. Морозов, “О сложности моделирования автоматами регулярных событий”, Интеллектуальные системы. Теория и приложения, 20:3 (2016), 112–114
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista99 https://www.mathnet.ru/rus/ista/v20/i3/p112
|
Статистика просмотров: |
Страница аннотации: | 67 | PDF полного текста: | 30 |
|