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