补充资料：优先方法

优先方法
priority method

优先方法〔洲函ty附血日;“，。洲TeTa Me功川 递归(rec姗on)论中为了构造满足一个确定类型条件的无穷系统的、具有(在递归论观点下)简单结构的集合(其最简单的例子是递归一可枚举集)所用的方法.可允许条件的一个特征是为满足系统的单个条件通常只要在一个简单的集合中包含依赖于该条件的一定的元素就足够了.但是，在每个(为保证所找对象的构造的递归简单性而由计算过程所表示的构造的步内，(一般定义而一个可构造对象的无穷集的)系统的每个条件可用它的一个有穷逼近来表示.但是，被构造的集合包含一个元素满足第j个条件的逼近的事实不能保证此集合将满足第]个条件本身.优先方法允许人们在一定条件下克服这个障碍，做法是在构造过程中对给定系统的第j个条件(j=1，2，…)选择一个对应的自然数，其目的是:如果此数被放人被构造的集合时，此集合可以满足第J个条件;为方便起见用厅}(可能带有下标)来标志该元素.在构造的过程中，每个被选择的对象可以被替换(或者等价地说，它的标志可被移动);但是在最简单的优先构造中，人们希望用以满足给定条件所用的序列要按如下方式安排，每个标志只可改变位置有穷次，且在最后位置上的标志必须是保证相应条件被满足的元素的标志. 优先方法是为解决关于非平凡的递归一可枚举度的存在性的P“t问题而被创造出来的.其后优先方法还被用于下列研究中产生的问题，毛川ng或其他度的研究，递归一可枚举集(用包含来排序)的结构的研究，可计算枚举理论的研究等等.最早的优先方法有各种变型(特别地，有时允许标志改变位置无穷次)，因此时常更恰当地被称为优先方法系.

说明：补充资料仅用于学习参考，请勿用于其它任何用途。