规约机(reduction machine) 一种面向函数式语言的非冯诺依曼结构的计算机。函数式语言是面向人和问题的语言。为了解决函数式语言因结构不适应而引起的性能差、运行效率低等弊端，提出了规约机的概念。规约机主要有以下几个特点：根据表达式携带的运算信息进行表达式的处理；摆脱根据指令流的被动操作，按照固定算法并发的对表达式进行处理；使用通过函数式语言编写的程序；使用语言的数据结构具有边界性、单一性、动态性和构造性。常见的规约机分为串规约机和图规约机两类，串规约机中信息以字符串存储，可以不经翻译直接执行，而图规约机是以图为处理对象的规约机。