神託機械
神託機械（しんたくきかい、）または預言機械（よげんきかい）は、計算複雑性理論や計算可能性理論における抽象機械の一種であり、決定問題の研究で使われる。チューリングマシンに神託（oracle）と呼ばれるブラックボックスが付加されたものであり、そのブラックボックスは特定の決定問題を1ステップで決定可能である。チューリングマシンの停止問題のような決定不能な問題にも神託機械を想定することができる。
Q205084
計算複雑性理論
Concept
Q818930
計算可能性理論
Concept
Q787114
抽象機械
Concept
Q3262192
決定問題
Concept
Q163310
チューリングマシン
Concept
Q217123
神託
Concept
Q622849
チューリングマシンの停止問題
Concept
Q1143357
神託機械
Concept
Q1143357
神託機械
Concept
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
subclass of
subclass of