Редактирование: Конструирование Компиляторов, Теоретический минимум (2009)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 30 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 106: | Строка 106: | ||
== Объяснить разницу между недетерминированным и детерминированным конечным автоматом == | == Объяснить разницу между недетерминированным и детерминированным конечным автоматом == | ||
Недетерминированный конечный автомат является обобщением детерминированного. Существует теорема, гласящая, что «Любой недетерминированный конечный автомат может быть преобразован в детерминированный так, чтобы их языки совпадали» (такие автоматы называются эквивалентными). | Недетерминированный конечный автомат является обобщением детерминированного. Существует теорема, гласящая, что «Любой недетерминированный конечный автомат может быть преобразован в детерминированный так, чтобы их языки совпадали» (такие автоматы называются эквивалентными). | ||
- | + | ||
+ | Анатолий // Кроме меня это вообще никто не читает и не понимает что это бред?? | ||
+ | Автоматы определяются переходами между состояниями (q1,w1) -> (q2,w2) и при таком перехода для детерминированного w1=aw2 где a - символ алфавита. Для НEдетерминированного возможен случай w1=w2. | ||
+ | То есть, говоря простым языком в детерминированным нет епселон переходов между состояниями автомата | ||
== Определение конфигурации конечного автомата == | == Определение конфигурации конечного автомата == |