ナンバリングの種類
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/12/30 14:17 UTC 版)
「ナンバリング (計算可能性理論)」の記事における「ナンバリングの種類」の解説
ナンバリングが全域的とはそれが全域関数であることをいう。もしナンバリングの定義域が帰納的可算ならば、同値な全域的ナンバリングが存在する(ナンバリングの同値性は後で定義される)。 ナンバリング η が決定可能とは集合 { ( x , y ) : η ( x ) = η ( y ) } {\displaystyle \{(x,y):\eta (x)=\eta (y)\}} が決定可能であることをいう。 ナンバリング η が一価とは η(x) = η(y) と x=y が同値であるときにいう。換言すれば η が単射であるときにいう。部分計算可能関数の一価ナンバリングはフリードバーグ・ナンバリングと呼ばれる。
※この「ナンバリングの種類」の解説は、「ナンバリング (計算可能性理論)」の解説の一部です。
「ナンバリングの種類」を含む「ナンバリング (計算可能性理論)」の記事については、「ナンバリング (計算可能性理論)」の概要を参照ください。
- ナンバリングの種類のページへのリンク