Комбинатор I

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

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

\(I x = x\)

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

\(I \equiv SKK\)

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

\(I \equiv \lambda x.x\)