x1×x2四元组图灵机汇编.ppt

计算函数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为空