一致化性質

一致化性質(uniformization property)遞歸論術語.反映部分遞歸函式與re關係之間關係的一種性質:若P為re關係,則存在部分遞歸函式獷,使得:
1.」yP ( x,y)}--}}p(x)今.
2.」yP(x, y)HP(x,}p(x)).
此時,獷稱為P的選擇函式或一致化函式.特別地,當P為正規的(即yx} yP (x, y) )re關係時,它必定存在遞歸的選擇函式.

相關詞條

熱門詞條

聯絡我們