计算理论第二章计算模型1.pptxVIP

计算理论第二章 计算模型主要内容 图灵机模型 RAM机 RASP机2.1 图灵机模型图灵机组成：两端无限的线性带（读写介质）有限的符号表（表示信息）有限的信息处理状态信息处理动作（静止，左、右移）信息处理方法（规则）2.1 图灵机模型线性带读写头q0q5q1状态控制器q4q2q32.1 图灵机模型定义：图灵机的M＝(Q, ∑, ?, δ, B, q0, F)，其中： Q 为状态的有限集合； ∑为有限字母表，为输入符号集； ?为线性带符号集，∑? ?； B空符号，B??，B? ∑； q0?Q为初始状态 F?Q是终止状态集; ?：Q×?? Q×(?×{L, R, S})为转移函数。2.1 图灵机模型例1：δ(q, a) = (p, (b, L)) 说明：若当前状态为q，读写头读取a，经过δ转换后，图灵机状态改为p，线性带上a改变为b，同时读写头左移一格。?例2：δ(q, a) = (p, (a, R)) 说明：若当前状态为q，读写头读取a，经过δ转换后，图灵机状态改为p，线性带上a不改变，同时读写头右移一格。?2.1 图灵机模型例3：δ(q, a) = (q, (B, S)) 说明：当前状态为q，读写头读取a，经过δ动作后，图灵机状态不改变，仍为q，线性带上a被清空，同时读写头不动。2.1 图灵机模型表示：图表2.1 图灵机模型例4：有图灵机M= ({q0,q1,q2}, {0,1}