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

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

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

  

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

  

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

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

█

Назад Вперёд