re集標準形是集的一種表示方法。
基本介紹
- 中文名：re集標準形
- 類型：表示方法
r。集標準形(normal form of re sets ) r。.若A為一個r。集，則存在遞歸關係R，使得A= {x舊yR(x,y)}. re集A的這種表示方式稱為其標準形式乏，形.由此可以推出，A為re集，若且唯若A為某個部分遞歸函式的值域(即}e(A=rang (ape)))，也若且唯若A為某部分遞歸函式之定義域(即玉(A=dom (} ))).當A=dom (app)時，A記為We，即We=dom (rpP)，並稱‘為We的下標.因此，{We }PE。是全體:。集的一種能行枚舉.此外W},., = dom ( ape.,)也是一個常用的記號.We,:實際上是一個遞歸集，而且，{WP..}}為:。集WP的一個遞歸逼近序列.
