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

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

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

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

такие, что:

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

  

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

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

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

Назад Вперёд