Комбинатор C

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

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

\(C x y z = x z y\)

Входит в некоторые комбинаторные базисы. Выражается в базисе S, K следующим образом:

\(C \equiv S(S(KS)K(S(KS)K)S)(KK) \equiv S(BBS)(KK)\)

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

\(C \equiv \lambda xyz.xzy\)