15. Порождённые состояния и отношения

15.1. Порождённые состояния

Для некоторого состояния, входящего в состав частичной или системообразующей ВС, порождённым от него называется состояние:

• из системообразующей ВС, являющееся прообразом указанного из состава частичной

• непосредственно образованное от указанного алгоритмом произведения ВС

• непосредственно образованное от указанного алгоритмом суммы ВС

• непосредственно образованное от указанного алгоритмом канального соединения ВС

• порождённое от указанного по одному из этих алгоритмов от уже ранее порождённого от указанного состояния

Выражения типа s ⇒ ss будут обозначать, что состояние ss порождено (в том числе) состоянием s, а s порождает (участвует в порождении) ss. █

Замечание 15.1

В согласованной системе ВС каждое состояние каждой ВС (кроме корневой) имеет порождённые от него в тех ВС, которые сопряжены с вышележащими узлами, и что самое важное – в их число входят состояния из корневой ВС.

Назад Вперёд