SKI组合子演算是一个计算系统，它是对无类型版本的Lambda演算的简约。这个系统声称在Lambda演算中所有运算都可以用三个组合子S、K和I来表达。在这个系统中的所有函数可以只使用S、K、I的字母表和圆括号（分组符号）来表达。通常假定组合子是左结合的，从而在不影响执行次序的情况下精简表达式中的圆括号。
非形式定义.非正式的说，在这个系统中的组合子定义如下（x, y和z表示从函数S, K, I与规定值制作的表达式）:I接受一个参数并返回：K接受两个参数，丢弃第二个，返回