Комбинатор B

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

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

\(B x y z = x (y z)\)

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

\(B \equiv S(KS)K\)

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

\(B \equiv \lambda xyz.x(yz)\)