683
правки
KVN (обсуждение | вклад) |
KVN (обсуждение | вклад) |
||
(не показаны 3 промежуточные версии этого же участника) | |||
Строка 17: | Строка 17: | ||
называется ''разметкой''. Узлы обычно изображаются в виде кружков, | называется ''разметкой''. Узлы обычно изображаются в виде кружков, | ||
обозначаемых строчными буквами <math>p \ldots t</math>, переходы — линиями, а | обозначаемых строчными буквами <math>p \ldots t</math>, переходы — линиями, а | ||
текущая разметка — черными точками (фишками). Символы переходов | |||
показывают возможные изменения состояния параллельной | показывают возможные изменения состояния параллельной | ||
системы. | системы. | ||
Строка 33: | Строка 33: | ||
невозможно. Когда состояние таково, что два или более | невозможно. Когда состояние таково, что два или более | ||
переходов претендуют на срабатывание, каждый из них должен | переходов претендуют на срабатывание, каждый из них должен | ||
рассматриваться отдельно. Начиная с | рассматриваться отдельно. | ||
которая соответствует исходному состоянию системы, и | |||
Начиная с ''начальной'' разметки, | |||
которая соответствует исходному (начальному) состоянию системы, и | |||
выполняя очевидную процедуру генерирования другой разметки, | выполняя очевидную процедуру генерирования другой разметки, | ||
достижимой из | достижимой из текущей за счет срабатывания некоторого перехода, можно исследовать возможные | ||
состояния системы и пути их достижения. Например, могут быть | состояния системы и пути их достижения. Например, могут быть | ||
легко обнаружены тупиковые состояния и непродуктивные | легко обнаружены тупиковые состояния и непродуктивные | ||
Строка 62: | Строка 64: | ||
* Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | * Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | ||
[[Категория:Теория вычислений]] |