The Turing machine processed the input tape according to its transition function and eventually halted.
有限の内部状態を持ち、無限の記憶テープ上で各セルの記号を読み、その記号と機械の状態に基づいて決定的にそのセルに記号を書き込み隣接するセルへ移動する抽象的な計算モデルは、遷移関数に従って入力テープを処理し、最終的に停止した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
