Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 942: | Строка 942: | ||
Существует два основных варианта справедливости: | Существует два основных варианта справедливости: | ||
* слабая справедливость: | * слабая справедливость: | ||
- | ** если оператор выполним бесконечно | + | ** если оператор выполним бесконечно долго, то он в конце концов будет выполнен |
* сильная справедливость: | * сильная справедливость: | ||
- | ** если оператор выполним бесконечно | + | ** если оператор выполним бесконечно часто,то он в конце концов будет выполнен. |
Справедливость применима как к внутреннему, так и к | Справедливость применима как к внутреннему, так и к | ||
внешнему недетерминизму. | внешнему недетерминизму. |