Комбинатор W

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

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

\(W x y = x y y\)

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

\(W \equiv SS(K(SKK)) \equiv SS(KI)\)

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

\(W \equiv \lambda xy.xyy\)