小さな
ウィキを引用するには:
チューリングマシン(MT)-抽象的な実行者(抽象的なコンピューティングマシン)。 アルゴリズムの概念を形式化するために1936年にアランチューリングによって提案されました。
チューリングマシンは有限状態マシンの拡張であり、チャーチ-チューリングの論文によれば、計算の各ステップがかなり基本的なステップバイステップの計算プロセスを何らかの形で実装する他のすべてのエグゼキューターを(遷移ルールを設定することにより)シミュレートできます。
チューリングマシンには、セルに分割された両側に無限リボン(チューリングマシンが可能、複数の無限のテープがあります)、および多くの状態のいずれかになる制御装置が含まれます。 制御装置の可能な状態の数は、もちろん正確に定義されます。
そして今、私はクリエイターを引用します:
アラン・チューリングの年を記念してこの車を作りました*コンピューターがいかにシンプルかを示すために。 主な目的は、マシンによって実行される操作のほとんどを個人的に確認できるようにすることです。 作成には、LEGO MINDSTORMS NXTセットが使用されました。
*チューリングは1912年6月23日に生まれました。
元のモデルには無限のリボンがありましたが、LEGOを使用する場合、実装するのは非常に問題であったため、このデバイスには32の位置があります。
プログラムのメインテキスト:
W(0 | 1)=テープに0または1のいずれかを書き込む
M(F | B)=テープを前方または後方に移動します
J(_ | 0 | 1)[0-9] + =命令テーブルの行への読み取りとジャンプ(常に、0の場合、または1の場合)
PSビデオを全画面に拡大します。
プロジェクトサイト 。