通用函数

通用函数(universal function)递归证明中常用的一种函数.设△。为一个n元函数集合.若n+1元函数g满足下列两个条件:则称g为。的通用函数.设g为。的通用函数，则D= {.lx:xz. .xng <t，<二，,xz，…，二。)}t，n〔w}.。中的任何函数都可由其通用函数表示出来.正因为如此，乙的通用函数也称为乙的枚举函数.