16.25. Алгоритм порождения ряда систем
Для двух основ для согласованной системы ВС
[SVS◎] = <T◎, COM◎, SEL◎, VS⧋◎, VS⫧◎> и её основы её О-проекции
[SVS⚪] = <T⚪, COM⚪, SEL⚪, VS⧋⚪, VS⫧⚪>
данный алгоритм результатом работы имеет:
-
саму пару
([SVS⚪],
[SVS◎]) в случае, если они связаны одним из
элементарных шагов
-
цепочку
основ для
согласованной системы ВС
[SVS]i, в которой крайние члены совпадают соответственно с
[SVS⚪] и
[SVS◎], а соседние члены связаны отношениями
О-проекции и
элементарного шага (в случае более одного шага, связывающих такие системы)
Алгоритм состоит из 6-х последовательно выполняемых этапов согласно числу типов элементарных шагов, связывающих соседние члены ряда основ систем:
1. применение к основам систем [SVS⚪] и [SVS◎] алгоритма 16.2.Д с получением промежуточной основы [SVS]Д
2. применение к основам систем [SVS⚪] и [SVS]Д алгоритма 16.2.А с получением промежуточной основы [SVS]А
3. применение к основам систем [SVS⚪] и [SVS]А алгоритма 16.2.Б с получением промежуточной основы [SVS]Б
4. применение к основам систем [SVS⚪] и [SVS]Б алгоритма 16.2.В с получением промежуточной основы [SVS]В
5. применение к основам систем [SVS⚪] и [SVS]В алгоритма 16.2.Г с получением промежуточной основы [SVS]Г
6. применение к основам систем [SVS⚪] и [SVS]Г алгоритма 16.2.Е с получением промежуточной основы [SVS]Е
█