一臺圖靈機是一個七元組 (Q,Σ,Γ,δ,q0,qaccept,qreject)，其中 Q,Σ,Γ 都是有限集合，且滿足以下條件：
1.Q 是狀態集合；
2.Σ 是輸入字母表，其中不包含特殊的空白符 □；
3.Γ 是帶字母表，其中 □∈Γ且Σ∈Γ ；
4. δ:Q×「→Q×Γ×{L,R}是轉移函式，其中L,R 表示讀寫頭是向左移還是向右移；
5.q0∈Q是起始狀態；
6. qaccept是接受狀態。
7.qreject是拒絕狀態，且qreject≠qaccept，圖靈機 M = (Q,Σ,Γ,δ,q0,qaccept,qreject) 將以如下方式運作：開始的時候將輸入符號串 從左到右依此填在紙帶的第 號格子上， 其他格子保持空白(即填以空白符)。 M 的讀寫頭指向第 0 號格子， M 處於狀態 q0。 機器開始執行後，按照轉移函式 δ 所描述的規則進行計算。 例如，若當前機器的狀態為 q，讀寫頭所指的格子中的符號為 x， 設 δ(q,x) = (q",x",L)， 則機器進入新狀態 q"， 將讀寫頭所指的格子中的符號改為 x"， 然後將讀寫頭向左移動一個格子。 若在某一時刻，讀寫頭所指的是第 0 號格子， 但根據轉移函式它下一步將繼續向左移，這時它停在原地不動。 換句話說，讀寫頭始終不移出紙帶的左邊界。 若在某個時刻 M 根據轉移函式進入了狀態 qaccept， 則它立刻停機並接受輸入的字串； 若在某個時刻 M 根據轉移函式進入了狀態 qreject， 則它立刻停機並拒絕輸入的字串。注意，轉移函式 δ 是一個部分函式， 換句話說對於某些 q,x， δ(q,x) 可能沒有定義， 如果在執行中遇到下一個操作沒有定義的情況， 機器將立刻停機。
一臺圖靈機是一個七元組 (Q,Σ,Γ,δ,q0,qaccept,qreject)，其中 Q,Σ,Γ 都是有限集合，且滿足以下條件：
1.Q 是狀態集合；
2.Σ 是輸入字母表，其中不包含特殊的空白符 □；
3.Γ 是帶字母表，其中 □∈Γ且Σ∈Γ ；
4. δ:Q×「→Q×Γ×{L,R}是轉移函式，其中L,R 表示讀寫頭是向左移還是向右移；
5.q0∈Q是起始狀態；
6. qaccept是接受狀態。
7.qreject是拒絕狀態，且qreject≠qaccept，圖靈機 M = (Q,Σ,Γ,δ,q0,qaccept,qreject) 將以如下方式運作：開始的時候將輸入符號串 從左到右依此填在紙帶的第 號格子上， 其他格子保持空白(即填以空白符)。 M 的讀寫頭指向第 0 號格子， M 處於狀態 q0。 機器開始執行後，按照轉移函式 δ 所描述的規則進行計算。 例如，若當前機器的狀態為 q，讀寫頭所指的格子中的符號為 x， 設 δ(q,x) = (q",x",L)， 則機器進入新狀態 q"， 將讀寫頭所指的格子中的符號改為 x"， 然後將讀寫頭向左移動一個格子。 若在某一時刻，讀寫頭所指的是第 0 號格子， 但根據轉移函式它下一步將繼續向左移，這時它停在原地不動。 換句話說，讀寫頭始終不移出紙帶的左邊界。 若在某個時刻 M 根據轉移函式進入了狀態 qaccept， 則它立刻停機並接受輸入的字串； 若在某個時刻 M 根據轉移函式進入了狀態 qreject， 則它立刻停機並拒絕輸入的字串。注意，轉移函式 δ 是一個部分函式， 換句話說對於某些 q,x， δ(q,x) 可能沒有定義， 如果在執行中遇到下一個操作沒有定義的情況， 機器將立刻停機。