计算引论计算模型.pptxVIP

计算引论 第二章 计算模型 主要内容 图灵机模型 RAM机 RASP机 Lambda演算模型 2.1 图灵机模型 图灵机组成： 线性带（读写介质） 基本符号表（表示信息） 信息处理状态 信息处理动作（静止，左、右移） 信息处理方法（规则，即程序） 状态控制器 q0 q5 q4 q3 q1 q2 读写头 线性带 定义：图灵机的M＝(Q, ∑, ?, δ, B, q0, F)，其中： Q 为状态的有限集合； ∑为有限字母表，为输入符号集； ?为线性带符号集，∑? ?； B空符号，B??，B? ∑； q0?Q为初始状态 F?Q是终止状态集; ?：Q×?? Q×(?×{L, R, S})为转移函数。 例1：δ(q, a) = (p, (b, L)) 说明：若当前状态为q，读写头读取a，经过δ动作后，图灵机状态改为p，线性带上a改变为b，同时读写头左移一格。 ? 例2：δ(q, a) = (p, (a, R)) 说明：若当前状态为q，读写头读取a，经过δ动作后，图灵机状态改为p，线性带上a不改变，同时读写头右移一格。? 例3：δ(q, a) = (q, (B, S)) 说明：当前状态为q，读写头读取a，经过δ动作后，图灵机状态不改变，仍为q，线性带上a被清空为null，同时读写头不动。 例4：有图灵机M定义如下： M=({q0,q1,q2}, {0,1}, {0,1,B}, δ, q0, B, {q2}),其中δ定义为： δ(q0, 0) = (q0, 0, R), δ(q0, 1) = (q1, 1, R), δ(q1, 0) = (q1, 0, R), δ(q1, B) = (q2, B, R). 表示： 图 表 识别由0和1组成的且只含有一个1的字符串。 格局：机器的状态的表示，由当前状态、当前带内容、读写头位置组成。属于(?*×Q×?*)。 如（u，q，v）简记为：uqv. u v 初始格局：q0?，???*; 终止格局： 接受格局：?qf?, ?,???*; 停机格局：转换函数无定义。 格局转换├ ： 图灵机M根据转换函数定义合法地从格局C1进入格局C2，则称格局C1产生格局C2，称这两个格局之间有二元关系├ 。记为C1├ C2。 计算： 计算是从图灵机的初始格局到终止格局按照动作函数规定的规则进行的一系列转换的序列。 例5：设计一台接受0与1出现次数相同且0先出现的串0…01…1的图灵机。 基本思路：读头将第一个0改为x，右移，把找到的第一个1改为y，然后退回去直到遇到第一个x，再右移把遇到的第一个0改为x，右移，把找到的第一个1改为y，如此反复直读头指向空白B为止。 给出串0011的识别过程。 q00011 ┣xq1011 ┣x0q111 ┣xq20y1 ┣q2x0y1 ┣xq00y1 ┣xxq1y1 ┣xxyq11 ┣xxq2yy ┣xq2xyy ┣xxq0yy ┣xxyq3y ┣xxyyq3B ┣xxyyBq4B 给出串0010的识别过程： q00010 ┣xq1010 ┣x0q110 ┣xq20y0 ┣q2x0y0 ┣xq30y0 ┣xxq1y0 ┣xxyq10 ┣xxy0q1B 拒绝停机 例6：设计一个图灵机，计算二个自然数m、n的减法。 思路 ：整数n用0n表示。开始时，带上符号为 0m10n，结束时，带上符号为0。每当在1的左边将一个0改变为B，就在1的右边将一个0改为1，若1的右边无0时，再将左边改为B的0恢复回来。 例7：设计一个图灵机，计算自然数n的以2为底的对数。 思路：用一进制表示输入和输出值。an表示输入n, bm表示输出m.从左到右扫描带，把所碰到的a划掉一个，留一个，并将计数器加1。重复此过程，直至a不复存在。用字符c表示划掉的字符。 例8：设有图灵机M =({q0,q1}, {0,1}, {0,1,B}, δ, q0, B, ?), 其中转换函数δ定义为： δ(q0,0) = (q1,（0,R）), δ(q0,1) = (q1,（1,R)）, δ(q0,B) = (q1,（B, R)）, δ(q1,0) = (q0, 0, L), δ(q1, 1) = (q0, 1, L), δ(q1, B) = (q0, B, L). 考虑输入串01，10，… 对输入串的不接受： 拒绝状态 不停机 图灵机的