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