归约机

归约机（reduction machine），计算机科学技术名词，一种面向函数式语言的非冯·诺依曼结构的计算机。其驱动计算操作的机制是需求驱动，即当一些计算需要用到一种操作的结果时，归约机制就启动这种操作。