x1×x2四元组图灵机详解汇编.pptVIP

计算函数f(x1, x2)=x1 * x2在基1下的四元组图灵机 思路： ⑴乘法用加法实现，即将x2加x1次 ⑵检查x1是否为0，若为0，停机y=0 ⑶若x10，将1[x1]标志为*1[x1-1]每将1标志为*表示要将x2加一次，直到1[x1]全变为*[x1] ， ⑷检查x2是否为0，若为0，停机y=0 计算函数f(x1, x2)=x1 * x2在基1下的四元组图灵机 ⑸若x20， 将1[x2]标志为#1[x2-1]每将1标志为#表示要将此x2的1复制到#1[x2-1]B之后变成#1[x2-1]B1，依次类推，变为#[k]1[x2-k]B1[k]，直到变为#[x2]B1[x2] ⑹回扫将恢复#[x2]B1[x2]为1[x2]B1[x2]，回扫*1[x1-1],重复⑶-⑹直到x2被加x1次为止，即1[x1]变为* [x1] ⑺清除* [x1]和清除1[x2]后停机，得y=x1*x2 计算函数f(x1, x2)=x1 * x2在基1下的四元组图灵机 M={Σ, Q, q1, F} Σ ={1}, Q={q1,q2,q3,q4,q5,q6,q7 ,q8,q9,q10,q11,q12,q13 ,q14,q15,q16,q17,q18,q19 ,q20,q21,q22,q23,q24}? F={ ⑴q1BRq2， q1为开始状态q2开始扫描输入串 ⑵q2BRq3,，q3表示输入串x1为空串x1=0 ⑶q31Bq4，清除1[x2] ⑷q4BLq3，无q3B开始的四元组停机，x1=0，y=0 计算函数f(x1, x2)=x1 * x2在基1下的四元组图灵机 ⑸q21*q5，q5表示输入串x2为非空串x20 ⑹ q5*Rq6，放过*1[x1-1] ⑺ q61Rq6， ⑻ q6BRq7，遇到1[x1-1]B的B ⑼ q7BLq8，q8表示x2=0 ⑽ q8BLq9， ⑾ q91Bq10，清除1[x1-1] ⑿ q10BLq9， ⒀ q9*Bq10，清除* ⒁ q10BLq9，无q9B开始的四元组停机，x2=0，y=0 计算函数f(x1, x2)=x1 * x2在基1下的四元组图灵机 ⒂ q71#q11，开始复制1[x2] ⒃ q11#Rq12， ⒄ q121Rq12，放过1[x2-k] ⒅ q12BRq13， ⒆ q131Rq13，放过已经复制过的1[k-1] ⒇ q13B1q14，复制1，并回扫 (21) q141Lq15， (22) q151Lq15，放过已经复制过的1[k] 计算函数f(x1, x2)=x1 * x2在基1下的四元组图灵机 (23) q15BLq16，遇到#[k]1[x2-k]B的B (24) q1611q17， (25) q171Lq17，放过1[x2-k] (26) q17#Rq7，循环开始，复制1[x2-k] (27) q16#1q18，q18表示已经复制完一次1[x2] (28) q181Lq16，将#[x2]恢复为1[x2] (29) q16BLq19，遇到*[k]1[x1-k]B的B (30) q1911q20，未处理完x1 计算函数f(x1, x2)=x1 * x2在基1下的四元组图灵机 (31) q201Lq20，回扫1[x1-k] (32) q20*Rq2，再次循环处理1[x1-k] (33) q19*Bq21，已处理完x1 (34) q21BLq19，清除x1 (35) q19BRq22，已清除完x1 (36) q22BRq22，放过已清除完x1 (37) q2211q23，开始清除x2 (38) q231Bq24，清除x2 (39) q24BRq23，无q23B为首的四元组，停机y=x1*x2 计算函数f(x1, x2)=x1* x2在基1下的四元组图灵机 * 国家信息中心 夏道藏 * * 国家信息中心 夏道藏 * * *