Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 93 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 531: | Строка 531: | ||
'''Языком автомата A''' называется множество слов в алфавите A.L, соответствующих допускающим проходам автомата А | '''Языком автомата A''' называется множество слов в алфавите A.L, соответствующих допускающим проходам автомата А | ||
+ | |||
+ | '''Допускающий проход по Бюхи'''(w-допускание) | ||
+ | |||
+ | Допускающим w-проходом конечного автомата A называется такой ''бесконечный проход'' a, что | ||
+ | |||
+ | <math>\exists i>=0, (s_{i-1}, l_{i-1}, s_i) \in a: (s_{i} \in A.F) \and (s_{i} \in a^w) </math> | ||
+ | |||
+ | т.е. по крайней мере одно терминальное состояние встречается бесконечно часто. | ||
+ | |||
+ | Конечные проходы преобразуются в бесконечные введение пустого действия на терминальные состояния. | ||
=== Автоматы Бюхи. Омега-допускание. Расширение автоматов Бюхи. === | === Автоматы Бюхи. Омега-допускание. Расширение автоматов Бюхи. === |