An abstract machine defined by Professor David Turner to

evaluate combinator expressions represented as binarygraphs. Named after the two basic combinators, S and K.