8.12. Теорема

Если состояния множества S являются ЛИБО-связанными, то и результат умножения S на некое состояние s также является множеством ЛИБО-связанных состояний (при условии его существования).

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

Поскольку для S существует некое дерево сборки T, то можно построить дерево сборки T* той же структуры, в котором дуги, ведущие в листья, размечены такими состояниями, которые являются произведениями состояний, исходно отмечающих эти дуги, на s, что сохраняет необходимую их принадлежность массивам их суммарных базисов.█

Назад Вперёд