翻訳と辞書
Words near each other
・ ライス・アンダーソン
・ ライス・エクルズ・スタジアム
・ ライス・エンボリ
・ ライス・バケツ・チャレンジ
・ ライス兄弟
・ ライス兄弟のチェリーGo!ラウンド
・ ライス大学
・ ライス郡
・ ライス郡 (カンザス州)
・ ライス郡 (ミネソタ州)
ライス=シャピロの定理
・ ライズ
・ ライズ オブ ナイトメア
・ ライズ オブ ネイション 〜民族の興亡〜
・ ライズ オブ ネイション ~民族の興亡~
・ ライズ オブ ネイション~民族の興亡~
・ ライズ:サン・オブ・ローマ
・ ライズアップ
・ ライズアリーナ
・ ライズオブナイトメア


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

ライス=シャピロの定理 : ウィキペディア日本語版
ライス=シャピロの定理[らいすしゃぴろのていり]
計算可能性理論において、ライス=シャピロの定理()とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norman Shapiro に因む。
==非形式的な言明==

定理の主張は非形式的には次のように述べられる: 計算可能関数の半決定可能な述語 ''A'' と、計算可能関数 ''f'' が与えられたとき、 ''f'' が ''A'' を満たす為には、''f'' の有限部分で ''A'' を満たすものが存在することが必要十分である。いま ''f'' が ''A'' を満たしていると仮定しよう。するとライス=シャピロの定理より ''f'' の有限部分 ''g'' が存在して ''A'' を満たす。このとき ''g'' の任意の計算可能な延長関数もまた ''A'' を満たす。したがって計算可能関数の無限個の入出力が真偽の決定に関与するような述語は帰納的可算ではありえない。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ライス=シャピロの定理」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.