9.20. Алгоритм порождения ряда деревьев

Для двух деревьев таких, что T⚪ является проекцией T◎, данный алгоритм результатом работы имеет:

• саму пару <T⚪, T◎> в случае, если они связаны одним из элементарных шагов (А, Б, В или Г)

  

• цепочку деревьев Ti, в которой крайние члены совпадают соответственно с T⚪ и T◎, а соседние члены связаны отношениями проекции и элементарного шага (в случае более одного шага, связывающих такие деревья)

  

Алгоритм состоит из 4-х последовательно выполняемых этапов согласно типу элементарного шага, связывающего соседние члены.

1. применение к деревьям T⚪ и T◎ алгоритма 9.7.А с получением промежуточного дерева TА
2. применение к деревьям T⚪ и TА алгоритма 9.7.Б с получением ряда промежуточных деревьев TА..TБN1
3. применение к деревьям T⚪ и TБN1 алгоритма 9.7.В с получением ряда промежуточных деревьев TБN1..TВN2
4. применение к деревьям T⚪ и TВN2 алгоритма 9.7.Г с получением ряда промежуточных деревьев TВN2..TГВ

█

Назад Вперёд