例6-2语言为{a2ln>0} <start,a,odd,B,R> <odd,a, even,B, R> <even,a, odd,B, R> <odd,B,odd,B,R> <even,B,accept,B,R>
例6-2 语言为{a2n|n>0} <start，a，odd，B，R> <odd，a，even，B，R> <even，a，odd，B，R> <odd，B，odd，B，R> <even，B，accept，B，R>
定义6-1图灵机是一个五元式 ●TM=(Q,∑， q0 qa’) Q是有限状态集合； ∑是字母表的有限集合 ∑'=∑U{B}A;∑的增广集合， 即输入带上符号的集合
定义6-1 图灵机是一个五元式 l TM=(Q，∑， q0， qα，δ) Q是有限状态集合； ∑是字母表的有限集合 ∑′=∑∪{B}∪A；∑的增广集合， 即输入带上符号的集合
q0∈Q, 是唯一的开始状态 qa∈Q,是唯一的接收状态
q0∈Q，是唯一的开始状态 qα ∈Q，是唯一的接收状态
δ：QX∑'→QX∑'XL,R,N} 对于任意的(q,x)∈QX∑' δ(q,x)=(q',W,{L,R,N) 将δ记为一般形式： <q,x,q',W,{L,R,N}>
δ:Q×∑′→Q×∑′×{L,R,N} 对于任意的(q，x)∈Q×∑′ δ(q，x)=( q′ ，W，{L，R，N}) 将δ记为一般形式： <q，x，q′ ，W，{L，R，N}>
或图灵机是一个七元组 TM=(Q,∑，T,δ， q0’B,F) FsQ终止状态集合； T是带符号集合； B∈厂称为空白符； δ：Q×T→Q×T×{R,L,N}
或 图灵机是一个七元组 TM = (Q， ， ， ， q0，B， F) F Q 终止状态集合； 是带符号集合； B 称为空白符； : Q Q {R, L,N}