11.16. Элементарный шаг преобразования каркаса типа В

Пусть даны два корректных каркаса

SKEL⚪ = <T⚪, SH⚪, COM⚪, SEL⚪> и

SKEL◎ = <T◎, SH◎, COM◎, SEL◎>

такие, что:

• T⚪ и T◎ связаны элементарным шагом типа В (см.9.7В), то есть, вместе с неким T∆ дерево T⚪ служит дополнением суммарного T◎

  и вершина nd* является узлом как в дереве T◎ , так и в T⚪

• для всех вершин дерева T⚪ кроме nd*, принадлежащих, естественно, и T◎, совпадают сопряжённые с ними коммутаторы и селекторы
• если в дереве T◎ вершина nd* является узлом типа И, то в SKEL◎ с ней могут быть сопряжены произвольные коммутаторы com◎
• если в дереве T◎ вершина nd*является узлом типа ЛИБО, то в SKEL◎ с ней могут быть сопряжены произвольные селекторы sel◎

В этом случае SKEL⚪ и SKEL◎ называются связанными элементарным шагом (преобразования) типа В. █

Назад Вперёд