guī yuē jī
基本释义
  1. 一种面向函数式语言的非冯诺依曼结构的计算机。
英文翻译
  1. reduction machine