论文部分内容阅读
已提出的图归约机的基础是Currg 的合成逻辑(简称C 逻辑),但是在图归约机中用C 逻辑中的组合子定义作为归约规则似乎过于烦琐。我们提出的CD-FFP2(FFP 的方言)的抽象并行图归约机——FC 机,它的基础是FFP 高级合成逻辑。用FFP 高级合成逻辑中的组合子定义作为并行图归约机的归约规则有许多突出的优点。这为具体实现FFP 语言的体系结构奠定了基础。