用来求值lambda演算表达式的机器。它最初描述于Peter J. Landin的1964年论文《表达式的机器求值》中。Landin发表的描述非常抽象，留下了很多实现选择待定（就像一种操作语义）。因此SECD机经常以一种更具体的形式出现，比如的Lispkit Lisp编译器，它自从1980年开始发行。自此它已经被用作了一些其他的实验编译器的目标。在1989年卡尔加里大学的研究者制作了这个机器的一个硬件实现。
Landin的贡献.在2012年指出《Algol 60修订报告》（Na