チューリングマシン
状態集合 Q と交わらない有限集合 Γ を字母(alphabet)といい、字母の元 a ∈ Γ を記号 (symbol) という。重複を許した有限個の記号の列全体からなる集合を Γ と表し、その元 x ∈ Γ を字母 Γ の文字列(string)または文(statement)という。
チューリングの「計算可能数について──決定問題への応用」(1936年)において提示された。同様なものを同年にエミール・ポスト (Emil Post) も独立に発表している。構想の理由、動機についてはポストの論文が明確だが、機械自体に関する記述はチューリングの論文が詳細である。次いで、同時代に提示された他の計算モデルも計算可能性の理論からは同等であることが確認され、チューリング=チャーチのテーゼはそれらを「計算可能」の定義とすることを提唱した。