定义6-4 图灵机M=（Q,∑，qo,qu' ò) 在字母表∑上接收的语言为L(), 则 LM)={w存在w1,w2∈（∑） 有qoW=>*W1qaW2}
定义6-4 l图灵机M=（Q，∑， q0， qα，δ） 在字母表∑上接收的语言为L(M)， 则 L(M)={w|存在w1，w2∈(∑′) * 有 =>* } q0w w1qαw2
定义6-5完全的图灵机 如果图灵机对于一切输入串都能够停 机-=-完全的图灵机。 完全的图灵机接收的语言L称为递归 语言（图灵可判定语言）
定义6-5 完全的图灵机 如果图灵机对于一切输入串都能够停 机----完全的图灵机。 完全的图灵机接收的语言L称为递归 语言(图灵可判定语言)
6.1.2图灵机的构造 例6-3接收仅有一个1的0、1串 TM=({q0,q1,q2,{0,1},q0,q2’δ)
6.1.2 图灵机的构造 例６-３接收仅有一个1的0、1串 TM=({q0，q1，q2},{0，1}, q0，q2，δ)
∑={0,1，B} <q0,0,q0,0, R> <q0,1,q1,1,R> <q1’0,q1,0,R> <q1,B,q2,B,N>
∑′={0，1，B} <q0，0，q0，0，R> <q0，1，q1，1，R> <q1，0，q1，0，R> <q1，B，q2，B，N>
例6-4构造图灵机 接收语言{abn>0}
例6-4 构造图灵机 接收语言{ a nbn|n>0}