計算可能集合と計算可能関係とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 計算可能集合と計算可能関係の意味・解説 

計算可能集合と計算可能関係

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/02/29 16:21 UTC 版)

計算可能関数」の記事における「計算可能集合と計算可能関係」の解説

自然数集合 A が計算可能(帰納的決定可能)であるとは、数 n に関する計算可能関数 f があり、n が A に属す場合は 、そうでない場合は となることをいう。 自然数集合計算枚挙(Computably enumerable、帰納枚挙準決定可能)であるとは、数 n に関する計算可能関数 f があり、f(n) が n がその集合属す場合だけ定義されていることをいう。従って、ある計算可能関数定義域だけが計算枚挙集合である。enumerable(可枚挙枚挙可能)という用語が使われるのは、自然数の空でない部分集合 B について以下が等価であるためである。 B が計算可能関数定義域である。 B が全域計算可能関数値域である。B が無限である場合、その関数単射見なされる集合 B が関数 f の値域である場合、その関数は B の列挙と見ることができる。というのも、f(0), f(1), ... というリストが B の全ての元を含むからである。 自然数における有限関係には自然数有限な数列集合対応するので、計算可能関係(computable relation)や計算枚挙関係(computably enumerable relation)は、集合からのアナロジー定義できる

※この「計算可能集合と計算可能関係」の解説は、「計算可能関数」の解説の一部です。
「計算可能集合と計算可能関係」を含む「計算可能関数」の記事については、「計算可能関数」の概要を参照ください。

ウィキペディア小見出し辞書の「計算可能集合と計算可能関係」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「計算可能集合と計算可能関係」の関連用語

計算可能集合と計算可能関係のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



計算可能集合と計算可能関係のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの計算可能関数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS