Редактирование: ВПнМ, примеры задач/Задача 5
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 37: | Строка 37: | ||
<>a -> ((b -> b & X (!b U a)) U a) | <>a -> ((b -> b & X (!b U a)) U a) | ||
+ | |||
+ | Формула выше означает, что событие b может продолжаться только в течение одного состояния. Я думаю, подразумевается, что событие может наступить и продолжаться. Опираясь на паттерн bounded existence: | ||
+ | |||
+ | <>a -> (!b & !a) U (a | ((b & !a) U (a | ((!b U a)))) | ||
=== Задача 3 === | === Задача 3 === |