Отсюда можно скачать отчет в формате PDF (670 Kb) - Кафедра ...
Отсюда можно скачать отчет в формате PDF (670 Kb) - Кафедра ...
Отсюда можно скачать отчет в формате PDF (670 Kb) - Кафедра ...
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
3212. Усло<strong>в</strong>ие перехода по произ<strong>в</strong>ольной логическойформуле. Идентификаторы, обозначающие <strong>в</strong>ынесенные иза<strong>в</strong>томата произ<strong>в</strong>ольные логические формулы, используются <strong>в</strong>усло<strong>в</strong>иях переходо<strong>в</strong> также, как и другие <strong>в</strong>ходные<strong>в</strong>оздейст<strong>в</strong>ия.13. Усло<strong>в</strong>ие перехода и перечисление <strong>в</strong>ыполняемыхпоследо<strong>в</strong>ательно дейст<strong>в</strong>ий на петле. Петли, как и дуги,могут помечаться приоритетами, усло<strong>в</strong>иями перехода идейст<strong>в</strong>иями, <strong>в</strong>ыполняемыми при переходе. Так как припереходе по петле а<strong>в</strong>томат сохраняет с<strong>в</strong>ое состояние, топетли используются для обозначения дейст<strong>в</strong>ий, <strong>в</strong>ыполняемых<strong>в</strong> состоянии при некоторых усло<strong>в</strong>иях.14. Перечисление дейст<strong>в</strong>ий, <strong>в</strong>ыполняемых <strong>в</strong> состоянии.Нижняя область <strong>в</strong>ершины графа переходо<strong>в</strong> может содержатьперечисление <strong>в</strong>ыходных <strong>в</strong>оздейст<strong>в</strong>ий, <strong>в</strong>ыполняемых <strong>в</strong>соот<strong>в</strong>етст<strong>в</strong>ующем состоянии. В случае, если <strong>в</strong> состоянии<strong>в</strong>ыполняется одно единст<strong>в</strong>енное <strong>в</strong>ыходное <strong>в</strong>оздейст<strong>в</strong>ие,записы<strong>в</strong>ается его сокращенное наз<strong>в</strong>ание (например, "z100").В случае, когда <strong>в</strong> состоянии <strong>в</strong>ыполняется несколько<strong>в</strong>ыходных <strong>в</strong>оздейст<strong>в</strong>ий, сим<strong>в</strong>ол 'z' записы<strong>в</strong>ается только одинраз, а после него ста<strong>в</strong>ится д<strong>в</strong>оеточие и перечисляютсяразделенные точкой с запятой номера <strong>в</strong>ыходных <strong>в</strong>оздейст<strong>в</strong>ий(например, "z: 30_4; 40").15. Усло<strong>в</strong>ие перехода по номеру состояния другогоа<strong>в</strong>томата. В усло<strong>в</strong>иях переходо<strong>в</strong> а<strong>в</strong>томата можетприсутст<strong>в</strong>о<strong>в</strong>ать предикат, про<strong>в</strong>еряющий значение переменнойсостояния другого а<strong>в</strong>томата.16. Перечисление <strong>в</strong>ложенных а<strong>в</strong>томато<strong>в</strong>. Средняя область<strong>в</strong>ершины графа переходо<strong>в</strong> может содержать перечислениеа<strong>в</strong>томато<strong>в</strong>, <strong>в</strong>ложенных <strong>в</strong> это состояние. Если <strong>в</strong> состояние<strong>в</strong>ложено более одного а<strong>в</strong>томата, то при перечислении
Change language