允许方法

允许方法（permitting method），计算机科学技术名词，构造计算可枚举集合 X ，使 X 图灵归约于某给定的计算可枚举集 A 的一般方法，要求构造可计算函数 f ，使对任何 x，s ，如果 x 在步 s 进入 X ，则必有某 y≤f(x) 在步 s 同时进入 A ，即 X 的枚举须得到 A 的允许，从而保证 XA 。