Редактирование: ВПнМ, 02 лекция (от 15 февраля)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 118: | Строка 118: | ||
=== Детерминизм === | === Детерминизм === | ||
- | Если у всех | + | Если у всех сост. нашей сист переходов есть только один потомок, то у нас система детерминированная. Иначе недетерм. |
Недетрминизм --- это фича | Недетрминизм --- это фича | ||
Строка 124: | Строка 124: | ||
Позволяет заменить условие недетерм. порядком вып., что позволяет строить модели. | Позволяет заменить условие недетерм. порядком вып., что позволяет строить модели. | ||
- | + | Нед. полезен для: | |
* | * | ||
* | * | ||
* | * | ||
- | Мы наблюдае не за | + | Мы наблюдае не за сост., а за изменением... |
=== Достижимость === | === Достижимость === |