Комбинаторный базис

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

Комбинаторный базис — в комбинаторной логике набор комбинаторов, через которые можно выразить все прочие комбинаторы. Доказано, что базисов может существовать неограниченное количество. Минимальным является однокомбинаторный базис (см., к примеру, комбинатор X). Традиционным базисом является базис S, K, либо его расширение — базис S, K, I.