P^n_i из одной примитивной операции

Мы уже затрагивали переход от условного выражения к функциям-проекциям для конечных последовательностей, когда обсуждали логические операции без сравнений. Однако, теперь мы можем обобщить также условное выражение, реализованное с помощью одной примитивной операции, а не двух, как раньше. Мы будем опираться на определения и обозначения, введенные при рассмотрении GRS из одной примитивной операции.

Благодаря незамысловатому разделению памяти, для представления всех функций-проекций для последовательностей длиной n или менее элементов, нам потребуется ровно n нод:



Заметим, что условное выражение B M N "если B, то M, иначе N", где "истина" T = λxy.x и "ложь" F = λxy.y, является частным случаем конструкций выше.