减法图灵机.pptVIP

国家信息中心 夏道藏 * * 计算函数f(x1, x2)=x1 - x2在基1下的四元组图灵机 思路： ⑴检查x1是否为0，若为0，检查x2是否为0，若为0，则y=x1-x2=0停机，否则无限循环y=↑，无定义。 ⑵若x10，检查检查x2是否为0，若x2为0，则y=x1-x2=x1停机，否则x20， 将x2=x2-1后，再将x1=x1-1，转⑴循环执行。 M={Σ, Q, q1, F} Σ ={1}, Q={q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13 }? 计算函数f(x1, x2)=x1 - x2在基1下的四元组图灵机 F={ (1)q1BRq2，q1为开始状态，q2开始扫描输入串 (2)q2BRq3，q3表示输入串x1为空串，扫描x2 (3)q31Lq2，输入串x2为非空串，(2)和(3)无限循环，表示x1 x2 ，y= x1 - x2 =?无定义 无q3B开始的四元组停机， 严格计算y= x1 - x2 =0 (4)q21Rq4，q4表示1[x1]为非空串x10， (5)q41Rq4，放过1[x1] 计算函数f(x1, x2)=x1 - x2在基1下的四元组图灵机 (6)q4BRq5，遇到B1[x2]的B，q5开始扫描1[x2] (7)q51Rq6，q6表示x20，要将1[x1]B1[x2]的B改为1 (8)q5BLq7，q5B表