An abstract machine defined by Professor david turner to evaluate combinator expressions represented as binary graphs. Named after the two basic combinators, S and K.