?图规约
许多基于图规约（graph reduction）的延迟函数式语言（lazy functional language）的实现，采用环来处理递归。
?图形缩减
... 图形绘图器 graph plotter 图形缩减 graph reduction 图形简化机 graph reduction machine ...
?图归约
... 归约式 reductions 图归约 graph reduction 栈归约 stack reduction ...
计 图归约机
正规图形缩减
图形归约
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。