Редактирование: ВПнМ, примеры задач/Задача 5
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 139: | Строка 139: | ||
В ходе итерации, начинающейся меткой START и заканчивающейся меткой END, выполнение оператора x==1 всегда влечет за собой приём сообщения, помеченного меткой S. | В ходе итерации, начинающейся меткой START и заканчивающейся меткой END, выполнение оператора x==1 всегда влечет за собой приём сообщения, помеченного меткой S. | ||
- | + | [] (START & !END & <>END -> ( (!P U END)||((P -> (!END U S))U END) ) | |
- | + | ||
- | + | ||
- | + | ||
- | []( | + | al-indigo: |
+ | Хорошая тренировка -- найдите отличия (они есть). Единственное что -- странно, но случай, когда P не случается выглядит уместным (в решении выше), а у меня его нет -- в паттерне написано, как у меня. Кто-нибудь, прокомментируйте? Или из этого не следует, что P обязательно произойдёт? | ||
+ | [] ((Start & !End & <>End) -> (P -> (!End U (S & !End) U End)) | ||
- | []( ( | + | Авварон: |
+ | первый вариант верный, но там не нужна дизъюнкция вообще (вариант !P включается в P -> BLA ибо -> это !P || BLA) | ||
+ | al-indigo, ты накосячил со скобками, надо | ||
+ | [] ((Start & !End & <>End) -> ( {P -> (!End U (S & !End))} U End) | ||
+ | Из-за скобок и коммент неверный - в этом варианте !P подходит | ||
- | + | al-indigo: | |
+ | и правда накосячил. Чёрт возьми, как же на пересдаче-то не ошибиться :( | ||
=== Задача 5 === | === Задача 5 === |