有出现"x"，则保存后续的K。与B和C相比，S组合子实际上混合了两个功能：重新排列参数，并复制一个参数，以便它可以在两个地方使用。W组合子只做后者，产生了SKI组合子演算的B，C，K，W系统。
可计算函数和lambda演算.自然数的函数F: N → N是可计算函数，当且仅当存在着一个lambda表达式f，使得对于N中的每对x, y都有F(x) = y当且仅当f x <nowiki>==</nowiki> y，这里的x和y分别是对应于x和y的邱奇数。这是定义可计算性的多种方式之一；