图灵机的计算(续) 计算:一个有穷的或无穷的格局序列,序列中的每 个格局都是前一个格局的后继. vw∈∑,M从σ=qv开始的计算有3种可能: (1)停机在接受格局,即计算为o0,01,…,σm,其中σn是 接受的停机格局; (2)停机在非接受格局,即计算为σ0,G1,…,n,其中σn 是非接受的停机格局 (3)永不停机,即计算为0,01,…,0n…9 图灵机的计算(续) 计算: 一个有穷的或无穷的格局序列, 序列中的每一 个格局都是前一个格局的后继. wΣ* , M从σ0= q0w开始的计算有3种可能: (1) 停机在接受格局, 即计算为σ0 ,σ1 , … ,σn , 其中σn是 接受的停机格局; (2) 停机在非接受格局, 即计算为σ0 ,σ1 , … ,σn , 其中σn 是非接受的停机格局; (3) 永不停机, 即计算为σ0 ,σ1 , … ,σn , …