Комбинатор K

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

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

\(K x y = x\)

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

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

\(K \equiv \lambda xy.x\)