一种快速组合算子归约模型FCRM  

A FAST COMBINATOR REDUCTION MODEL

作　　者：王文敏[1] 方滨兴[2] 孙希文[2] 胡铭曾[2] 

机构地区：[1]哈尔滨电工学院计算机系 [2]哈尔滨工业大学计算机系

出　　处：《计算机学报》1990年第3期215-220,共6页Chinese Journal of Computers

摘　　要：本文在分析了Turner归约模型中组合算子表达式的膨胀原因后,提出了一种快速组合算子归约模型FCRM。本文描述了FCRM的形式体系、转换规则T和归约规则R_c,并且证明和验证了FCRM组合算子表达式的长度一般为Turner表达式的3/4,而FCRM模型的归约路径仅为Turner模型的一半。After analysing the reasons of expansion of Turner combinator expression, a fast combinator reduction model (FCRM) is presented. FCRM's formulism system, the transformation rules T and the reduction rules Rc are described. It is proved that the length of a FCRM combinator expression can be reduced to 3/4 that of a Turner expression, and the reduction route of FCRM model is shortened two times of that of Turner model.

关 键 词：组合算子 归约模型 FCRM 程序设计 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]