Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 585: | Строка 585: | ||
** '''Слабый Until:''' | ** '''Слабый Until:''' | ||
*** всегда e, до тех пор, пока не f, при этом не факт, что f наступает (тогда всегда e) | *** всегда e, до тех пор, пока не f, при этом не факт, что f наступает (тогда всегда e) | ||
- | *** <math>s_i \models e | + | *** <math>s_i \models e \cup f ~~ \Leftrightarrow ~~ s_i \models f \vee (s_i \models e \wedge s_{i+1} \models e \cup f)</math> |
** '''Сильный Until:''' | ** '''Сильный Until:''' | ||
*** всегда e, до тех пор, пока не f, при этом f обязательно должно наступить | *** всегда e, до тех пор, пока не f, при этом f обязательно должно наступить |