SKI組合子演算

SKI組合子演算是一個計算系統 ， 它是對無類型版本的Lambda演算的簡約 。 這個系統聲稱在Lambda演算中所有運算都可以用三個組合子S 、 K和I來表達 。 在這個系統中的所有函數可以只使用S 、 K 、 I的字母表和圓括號 （ 分組符號 ） 來表達 。 通常假定組合子是左結合的 ， 從而在不影響執行次序的情況下精簡表達式中的圓括號 。