Искусственный интеллект

9.7.4. Беступиковость Более общий класс свойств живости связан с возможностью осуществления продвижения процедуры вычисления любого процесса, находящегося в месте /. Здесь мы не ограничиваемся только местами, содержащими семафорные команды. Рассмотрим произвольное нетерминальное место / в некотором процессе Pt, т.е. 1Ф 1е. Если вычисление процесса должно развиваться таким образом, что он обязательно должен покинуть место /, то он не может оставаться блокированным в / вследствие ошибки диспетчера, который управляет выполнением процесса Р.. Это означает, что процесс Р., находясь в месте /, в котором истинна формула вместе (/), должен его обязательно покинуть, в результате чего станет истинной формула -i вместе (/). Следовательно, свойство беступиковости для любого места /, / * /,, может быть выражено следующим образом: