TM的数学描述 M=(Q,T,L,δ,b,q,qr) 其中: Q是有限状态的集合; ■T是有限个带符号的集合; ■IcT,是输入符号的集合; 6:Q×T→Q×T×{L,R}为转移函数; ■b是唯一的空白符,b∈T-1; q0和q分别为初始状态和终止状态。 2021/221 计算机算法设计与分析2021/2/21 计算机算法设计与分析 8 TM的数学描述 ◼ Q是有限状态的集合； ◼ T是有限个带符号的集合； ◼ I  T，是输入符号的集合； ◼ δ：Q×T→Q×T×{L, R}为转移函数； ◼ b是唯一的空白符，b∈T – I； ◼ q0和qf分别为初始状态和终止状态。 M = (Q, T, I, δ, b, q0 , qf ) 其中：