Условные и итеративные маршруты.

Наиболее простыми оказались причины возникновения условных и итеративных маршрутов. Появление условных маршрутов связано с тем, что возможны близкие в некотором смысле состояния процессов, к которым применимы различные операторы с близкими условиями. Если на к-м шаге некоторого процесса формируется состояние ^(fc), отличающееся от состояния Щ&), то вместо оператора о становится применимым оператор