SKI组合子演算 SKI组合子演算是一个计算系统它是对无类型版本的Lambda演算的简约这个系统声称在Lambda演算中所有运算都可以用三个组合子SK和I来表达 在这个系统中的所有函数可以只使用SKI的字母表和圆括号分组符号来表达通常假定组合子是左结合的从而在不影响执行次序的情况下精简表达式中的圆括号