ナンバリング (計算可能性理論)
(Numbering (computability theory) から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/12/15 14:32 UTC 版)
ナンバリング(英: numbering)は自然数から対象の集合への対応付けをいう。対象としては例えば関数、有理数、グラフ、形式言語などである。ナンバリングは自然数に対して定義された計算可能性や関連する概念を他の種類の対象に一般化する際に用いることができる。
- 1 ナンバリング (計算可能性理論)とは
- 2 ナンバリング (計算可能性理論)の概要
- 3 ナンバリングの比較
- 4 計算可能なナンバリング
- Numbering (computability theory)のページへのリンク