Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 505: | Строка 505: | ||
=== Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата. === | === Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата. === | ||
- | + | Лекция 6, слайды 8 - 15 | |
'''Конечный автомат''' | '''Конечный автомат''' | ||
Строка 513: | Строка 513: | ||
* <math>s_0 \in S </math> -- множество начальных состояний | * <math>s_0 \in S </math> -- множество начальных состояний | ||
* L -- конечное множество меток | * L -- конечное множество меток | ||
- | * <math>F \ | + | * <math>F \subset S </math> -- множество терминальных состояний |
- | * <math>T \ | + | * <math>T \subset S \times L \times S</math> -- отношение перехода на состояниях |
''' | ''' | ||
Детерминизм и недетерминизм''' | Детерминизм и недетерминизм''' |