Множество цепочек
Базового УСК степени n для любого натурального n, большего или равного
2, является некоторым подмножеством множества всех цепочек
системы УСК-4.
2. Базовый УСК степени 2
Базовый УСК степени 2 состоит из
двух цепочек. Из так называемой
"реальной цепочки":
и из так называемой
"функциональной цепочки":
.
Функциональная и реальная цепочки связаны между собой правилом преобразования, которое называется
"правилом транспозиции" и записывается следующим образом:
3. Базовый УСК степени 3
Базовый УСК степени 3 — это множество всех цепочек
системы УСК-4,
лежащих на редукционном пути (редукции осуществляются при помощи "правила транспозиции"), связывающем между собой
расширенную функциональную цепочку
и
расширенную реальную цепочку
.
Таких цепочек будет всего четыре. Следовательно,
базовый УСК степени 3 состоит из следующих
четырех цепочек:
О связанном с этим редукционным путем
другого редукционного пути, где используется
комбинатор B, см.
здесь.
