归约机，是一种面向函数式程序设计语言的非传统计算机。