Комбинатор S

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

Комбинатор S (коннектор) — один из комбинаторов в комбинаторной логике, чья комбинаторная характеристика выглядит следующим образом:

\(S x y z = x z (y z)\)

Входит во многие комбинаторные базисы, в первую очередь в базис S, K.

В λ-исчислении этот комбинатор выражается следующим образом:

\(S \equiv \lambda xyz.xz(yz)\)