ここでは非形式的（直感的）に述べる。理論的には形式的に述べる必要がある。
チューリングマシンには、いわゆるハードウェアに相当するものとして、
がある。
また、ソフトウェアに相当するものとして、以下がある。
この有限オートマトンの状態遷移規則は、その有限オートマトンの「現在の状態」（内部状態）と、ヘッドがテープの「現在の場所」から読み出した記号の組み合わせに応じて、次のような動作を実行する。
現実の計算との関係.
実際の計算機の基本的動作も、突き詰めて考えれば、このチューリング機械の原理に従っているといえる。実用上の電子計算機はチューリング機械よりも遥かに複雑であり、また有限の記憶領域しか持たないが、「計算機で原理上解ける問題」は「チューリング機械で解ける問題」と同じであるといわれている。このため計算理論では、アルゴリズムをチューリング機械上の手続きと同一視して議論することができる（チャーチ＝チューリングのテーゼ）。
数学の形式体系はすべてこの仮想機械の動作に還元できるといわれている。この機械で決定できない命題も存在する。例えば与えられたチューリング機械が停止するかどうかをチューリング機械で決定することはできない（停止性問題）。これはゲーデルの不完全性定理の別の表現の形とみなすことができる。
形式的な定義.
変種.
細かい相違.
次の各項目について上記の定義に変更を施しても、帰納可枚挙な言語は変わらず、また時間計算量や空間計算量に対する影響も小さい。このため、チューリング機械の定義の詳細は文献によって異なっている。
変換機.
決定的と非決定的.
神託つき機械.
質問状態を加える。
万能チューリングマシン.
外部リンク.
解説
その他
ロック (音楽)
概要.
音楽ジャーナリストのロバート・クリストガウは多くの場合、白人中流階級のミュージシャンが優勢なジャンルであるとも述べているが、実際にはビートルズ、ザ・フー、アニマルズなどイギリスのロッカーには、「白人労働者階級出身者」が多かった。アメリカのブルース・スプリングスティーンも、労働者の一部のアイコンとなっていった。