图灵机的基本模型(续) (5)空白符B∈x; (6)接受状态集AcQ; (7)动作函数是Q×/到Ⅳ{,R}XQ的部分函数, 即 dondo×∑ 6(q1,)=(sR,q)的含义:当处于状态q读写头扫视 符号s时,M的下一步把状态转移到q,读写头把这 个改写成s,并向右移一格; 6(q1,s)=(s,L,q)的含义类似,只是读写头向左移一 格;若δ(q,s)没有定义,则M停机6 图灵机的基本模型(续) (5) 空白符BΓ-Σ; (6) 接受状态集AQ; (7) 动作函数δ是QΓ到Γ{L,R}Q的部分函数, 即domδ  QΣ. δ(q,s)=(s ,R,q)的含义: 当处于状态q, 读写头扫视 符号s时, M的下一步把状态转移到q , 读写头把这 个s改写成s , 并向右移一格; δ(q,s)=(s ,L,q)的含义类似, 只是读写头向左移一 格; 若δ(q,s)没有定义, 则M停机