9.5. Произведение ВС на состояние

Произведением ВС vs на состояние s называется ВС

vs* = vs × s

у которой в множество состояний

[vs*] = [vs1] ⋃ .. ⋃ [vsN] = ⋃[vs*]i × s

объединены результаты произведения исходных состояний на s, при условии, что все так образованные состояния существуют.

При этом, образованные состояния очевидно связаны между собой отношением либо с тем же самым деревом сборки. █

Назад Вперёд