Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 28: | Строка 28: | ||
====Размеченная система переходов (LTS)==== | ====Размеченная система переходов (LTS)==== | ||
- | <math>TS = | + | <math>TS = <S, Act, \overset{a}{\rightarrow} ,s_0, AP, L></math> |
* S - множество состояний | * S - множество состояний | ||
* Act - множество действий | * Act - множество действий | ||
Строка 39: | Строка 39: | ||
S, Act - конечные или счётные множества | S, Act - конечные или счётные множества | ||
- | <math> | + | <math><s, a, s'> \in \overset{a}{\rightarrow} \equiv s \overset{a}{\rightarrow} s' </math> |
''Пример LTS: Лекция 2, слайды 40-41'' | ''Пример LTS: Лекция 2, слайды 40-41'' |