(computing theory) In computability theory, a form of theoretical Turing machine, able to solve even undecidable decision problems in a single operation.
oracle machine
理論上、オラクルを備えたチューリング機械は任意のチューリング機械の停止状態を一回の操作で決定できる。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★