チューリング・マシン

出典: くみこみックス

　英国の数学者アラン・チューリングが「計算」の理論を構築するために提唱した仮想的な機械で，無限に長いテープとその上を動くヘッドによって構成される．テープには記号が書き込まれ，ヘッドはその記号を読みながらそれに応じて内部の状態を変えたり，テープの記号を書き換えたりという動作を行う．理論的には，「計算」とはチューリング・マシンによって有限のステップ数で実行できる記号操作のことと定義される．現代のコンピュータは，この仮想的なチューリング・マシンを実現しようとしたものと考えることができる．

【出典】Interface編集部 編；組み込み技術用語集，Interface 2007年8月号 別冊付録，CQ出版社，2007年8月．