Статья 451

Переход представляет собой выполнение соответствующей команды вида, где охраняющее условие может отсутствовать и тогда используем в записи, атомарное программное утверждение типа присваивания может так - же отсутствовать значения всех программных переменных. Так, если в качестве значений переменных и положим соответственно, то с исходной меткой будут связаны значения программных переменных. Если мы захотим описать текущее вычислительное состояние программы, то его характеристиками будут, во-первых, метка контрольный компонент и, во-вторых, значения программных переменных в текущий момент. Изменение этих характеристик, а, следовательно, и вычислительного состояния программы будет происходить в результате осуществления следующего за меткой перехода, представляющего выполнение программной команды.