递归生成函数类

递归生成函数类(inductively generated classof function)是一种函数类。指从给定的函数出发，经过复合及一些递归算子运算而得的全体函数组成的类.特别地，当生成算子集为空集时，又称为复合集.若它的初始函数为有穷个，那么称这些初始函数为基.设C为递归生成函数类.则对任何.f EC，都有一个从初始函数出发经生成算子及复合运算而逐步生成f的过程.即若存在一个函数列:f}，fl，... }f，满足下列条件，则称此函数列为f的定义过程或生成过程。