一个图灵机是一个七元组（Q，∑，σ，δ，q0，qaccept，qreject）（Q，∑，σ，δ，q_0，q_{accept}，q_{reject}）（Q，∑，σ，δ，q0，qaccept，qreject），其中Q，∑，σ都是有穷集合。
Q是状态集；
∑是输入字母表，不包括特殊空白符号；
σ是带字母表，其中包括∑与空白符号；
δ：Q×σ→Q×σ×（L，R）是转移函数；
q0∈Qq_0∈Qq0∈Q是起始状态；
qaccept∈Qq_{accept}∈Qqaccept∈Q是接收状态；
qreject∈Qq_{reject}∈Qqreject∈Q是拒绝状态；
