一种函数语言的快速组合算子归约计算模型FCRM

• 作 者: 王文敏 方滨兴 王岷
• 机 构: 哈尔滨电工学院
• 出 处: 全国青年计算机工作者学术交流会
• 发表日期: 1987年期
• 关键词: 函数语言 组合算子 归约规则 表达式 转换规则 形式体系 缩短 膨胀原因 模型 证明 优化 验证 描述 长度

作者在分析了Turner归约模型中组合算子表达式的组合膨胀原因后，提出了一种快速组合算子归约模型FCRM。该文描述了FCRM的形式体系，转换规则T和归约规则R[*vC*]，并且证明和验证了：采用FCRM的转换规则T一般可将组合算子表达式缩短至Turner表达式的四分之三，若引入优化转换规则T[*v0*]，可进一步将组合算子表达式缩短到接近原表达式的长度。从而基本上消除了组合膨胀现象，减少了归约步骤，提高了归约速度。（本刊录）