8.6. Лемма

Пусть дано множество S◎ ЛИБО-связанных состояний с деревом сборки T◎.

Тогда состояния любого его подмножества S⚪ ⊆ S◎ также является ЛИБО-связанными.

Доказательство

Для этого отберём из T◎ дуги (вместе с сопряжёнными с ними ключами) только тех путей от листа до корня, которые формируют состояния данного подмножества S⚪.

Очевидно, эти пути и отобранные на них ключи образуют искомое дерево сборки T⚪. █

Назад Вперёд