Design and Implementation of the Function Construction and Checking System FC
运算构造和检验系统FC的设计和实现

The function construction and checking system FC (function constructor) is a component of SAQ (specification acquisition) which utilizes CFRFs (recursive functions defined on context-free languages) to represent the semantics of a specification. FC provides the interactive and inductive definition, and the evaluation of CFRF, supporting mutually recursive definition process of CFRFs. In this paper, the functions, structure and implementation details of FC are described, the possible improvement is discussed.