Turing machine
神託機械はオラクル付きのチューリングマシンである。チューリングマシンはオラクルへの入力を自身のテープに書き込み、オラクルにその実行を指示する。1ステップでオラクルはそれを計算し、入力を消去して出力をテープに書き込む。場合によってはチューリングマシンが2本のテープを持つように描かれる場合もあり、一方がオラクルへの入力、もう一方がオラクルからの出力に使われる。