Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 47: | Строка 47: | ||
* <math>Post(s) = \bigcup_{a \in Act} Post(s, a)</math> - все возможные состояния s', которые <u>непосредственно вытекают</u> из s | * <math>Post(s) = \bigcup_{a \in Act} Post(s, a)</math> - все возможные состояния s', которые <u>непосредственно вытекают</u> из s | ||
- | Система <math>TS = \langle S, Act, \overset{a}{\rightarrow} , | + | Система <math>TS = \langle S, Act, \overset{a}{\rightarrow} ,s_0, AP, L \rangle</math> '''детерменирована''': |
* '''по действиям''' тогда и только тогда, когда | * '''по действиям''' тогда и только тогда, когда | ||
** <math>|I| \leqslant 1</math> | ** <math>|I| \leqslant 1</math> | ||
Строка 56: | Строка 56: | ||
- | ''' | + | '''Недетерменизм''' - это фича! Полезен для: |
* моделирования параллельного выполнения в режиме чередования (интерливинга) | * моделирования параллельного выполнения в режиме чередования (интерливинга) | ||
** позволяет не указывать скорость выполнения процессов | ** позволяет не указывать скорость выполнения процессов |