运算构造和检验系统fc的设计和实现
, PP. 755-759
Keywords: 上下文无关语言,递归函数,结构归纳,函数计算,形式规约.
Abstract:
运算构造和检验系统fc(functionconstructor)是形式规约获取系统saq(specificationacquisition)的一个子系统.在saq系统中,运算用于表示规约的语义.fc提供了对运算的交互式归纳定义方式和运算的施用,支持运算的联立递归定义.详细介绍fc的功能、结构和实现技术,并讨论了下一步的改进方向.
Full-Text
