Редактирование: ВПнМ, примеры задач/Задача 5
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 406: | Строка 406: | ||
al-indigo: | al-indigo: | ||
ок? | ок? | ||
- | |||
- | Авварон: | ||
- | ага, но я бы писал так: | ||
- | #define A state = leave_critical | ||
- | #define B p@lock | ||
- | через Weak, простая: !A W B | ||
- | через Weak, сложная: !A W (B & !A) | ||
- | через Until, сложная: []!A || (!A U (B & !A)) | ||
- | Эти 3 ф-лы эквивалентны, но W имхо читать проще | ||
==== Задача 3 ==== | ==== Задача 3 ==== |