加法图灵机.pptVIP

国家信息中心 夏道藏 * * 计算函数f(x1, x2)=x1 + x2在基1下的四元组图灵机 【解法1】 思路： ⑴检查x1是否为0，若为0，停机y=x2 ⑵若x10，将1[x1]B1[x2]的B改为1，变为1[x1+x2 +1]B，再将1[x1+x2]1B的1改为B，然后左移到输入串左端停机。 M={Σ, Q, q1, F} Σ ={1}, Q={q1, q2, q3, q4, q5, q6, q7 }? 计算函数f(x1, x2)=x1 + x2在基1下的四元组图灵机 F={ ⑴q1BRq2， q1为开始状态q2开始扫描输入串 ⑵q211q3,，q3表示输入串x1为非空串， 无q2B开始的四元组停机，x1=0，y=x2 ⑶q31Rq3，放过1[x1] ⑷q3BRq4，q4表示检查输入串x2是否为空串， ⑸q4BLq10，q10表示输入串x2为空串 ⑹ q101Lq10，放过1[x1]回到1[x1]左端的B 无q10B开始的四元组停机，x2=0，y=x1 计算函数f(x1, x2)=x1 + x2在基1下的四元组图灵机 ⑸q41Lq5，q5表示要将1[x1]B1[x2]的B改为1 ⑹q5B1q6，q6表示放过11[x2]直到1[x2+1]B的B ⑺q61Rq6， ⑻q6BLq7，q7表示要将1[x2]1B的1改为B，这样变成了B1[x1+x2]B ⑼q71Bq8，q8表示已将带子变成了B1[x1+x2]B ⑽q8BLq9，q9表示左移放过1[x1+x2]到达B1[x1+x2]的B， ⑾q91Lq9，放过1[x1+x2] ， 无q9B开始的四元组停机，y=x1+x2 计算函数f(x1, x2)=x1 + x2在基1下的四元组图灵机 计算函数f(x1, x2)=x1 + x2在基1下的四元组图灵机 【解法2】 思路： ⑴检查x1是否为0，若为0，停机y=x2，若x10，将1[x1]B1[x2]的B变为1，成为1[x1+x2+1]， ⑵放过1[x2]，遇到1[x1+x2+1]B的B，左移将1[x1+x2]1的1变为B，成为1[x1+x2]，然后左移到输入串左端停机。 M={Σ, Q, q1, F} Σ ={1}, Q={q1, q2, q3, q4, q5, q6, q7} 计算函数f(x1, x2)=x1 + x2在基1下的四元组图灵机 F={ ⑴q1BRq2， q1为开始状态，q2开始扫描输入串 ⑵q21Rq3,，q3表示输入串x1为非空串，且 无q2B开始的四元组停机，x1=0，y=x2 ⑶q31Rq3，放过1[x1-1] ， ⑷q3B1q4，将1[x1]B的B变为1，成为1[x1+1]， ⑸q41Rq4，放过1[x2] ， 计算函数f(x1, x2)=x1 + x2在基1下的四元组图灵机 ⑹q4BLq5，q4遇到1[x1+x2+1]B的B，左移 ⑺q51Bq6，将1[x1+x2+1]的1改为B，变为1[x1+x2]， ⑻q6BLq7， ⑼q71Lq7，回扫放过1[x1+x2]，回到1[x1]左端的B 无q7B开始的四元组停机，y=x1+x2 } 计算函数f(x1, x2)=x1 + x2在基1下的四元组图灵机 y=x1+x2 q 1 q 5 q 7 q 3 q 4 B/R B/1 B/L 1/R B B x1=0，y=x2 1/R 1/R q 2 q 6 1/B B/L 1/L 计算函数f(x1, x2)=x1 + x2在基1下的四元组图灵机 【解法3】 思路： ⑴检查x1是否为0，若为0，停机y=x2，若x10，将1[x1]，变为B1[x1-1]， ⑵放过1[x1-1]，再将1[x1-1]B1[x2]的B改为1，变为1[x1+x2]，然后左移到输入串左端停机。 M={Σ, Q, q1, F} Σ ={1}, Q={q1, q2, q3, q4, q5} 计算函数f(x1, x2)=x1 + x2在基1下的四元组图灵机 F={ ⑴q1BRq2， q1为开始状态，q2开始扫描输入串 ⑵q21Bq3,，q3表示输入串x1为非空串，且将1[x1]变为B1[x1-1]， 无q2B开始的四元组停机，x1=0，y=x2 ⑶q3BRq4， ⑷q41Rq4，放过1[x1-1] ， ⑸q4B1q5，将1[x1-1]B1[x2]的B改为1，变为1[x1+x2]，不管x2是否为空串， ⑹ q51Lq5，回扫放过1[x1]，回到1[x1]左端的B 无q5B开始的四元组停机，y=x1+x2 } 计算函数f(x1, x2)=x1 + x2在基1下的四元组图灵机 q 1 q 5 q 2 q 3 q 4 B/R B/R B/1 1/B B B x1=0，y=x2 y=x1+x2 1/R 1/L 谢谢! * * * 国家信息中心 夏道