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

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

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

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

такие, что:

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

  

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

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

Назад Вперёд