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