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.