允许方法

允许方法是一个数学术语。 允许方法(permitting method)一种递归论构造方法一般用来构造相对于某个r。集递归的re集.具体地，允许方法是指:对给定的r。集B，设{Bs}.}E}为B的一个递归枚举，则如果在构造r。