С. С. Морозов, “О сложности моделирования автоматами регулярных событий”, Интеллектуальные системы. Теория и приложения, 2016, том 20, выпуск 3,страницы 112

Эта публикация цитируется в 1 статье

О сложности моделирования автоматами регулярных событий

С. С. Морозов

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: Изучается свойство автомата содержать во множестве своих выходных слов заданное регулярное множество. Устанавливается, что данное свойство может быть проверено путем изучения строения множества выходных слов автомата ограниченной длины.

Ключевые слова: абстрактный конечный автомат, регулярное событие, регулярное выражение, генератор, алгоритмическая разрешимость.