第四章第一讲基本图灵机.ppt

五、用图灵机作为函数计算机 例2：设计一个图灵机M，可进行真减法运算(即m Θ n)，该运算定义为：如果m≥n，则m Θ n = m-n；如果mn，则m Θ n=0。 分别用0m和0n表示整数m和n ；用0m10n表示m Θ n 。 初始时，M的输入带上从左端起放有字符串0m10n,后跟无限多个空白字符B。 B B 0 ...... 0 1 1 0 0 ...... 0 B B B B ...... 有限控制器 M的第一个动作：先读到第一个0，将其改为空白符B； M的第二个动作：右移寻找紧跟在1之后的0，将其改为1； M的第三个动作：再左移寻找紧跟在B之后的0，将其改为B； 重复执行第二、三个动作，直到无法继续执行时为止。 设计思想：用字符串0i表示正整数i,用字符串0i10j表示i Θ j，则有： 五、用图灵机作为函数计算机 例2：设计一个图灵机M，可进行真减法运算(即m Θ n)，该运算定义为：如果m≥n，则m Θ n = m-n；如果mn，则m Θ n=0。 分别用0m和0n表示整数m和n ；用0m10n表示m Θ n 。 初始时，M的输入带上从左端起放有字符串0m10n,后跟无限多个空白字符B。 B B 0 ...... 0 1 1 1 0 ...... 0 B B B B ...... 有限控制器 M的第一个动作：先读到第一个0，将其改为空白符B； M的第二个动作：右移寻找紧跟在1之后的0，将其改为1； M的第三个动作：再左移寻找紧跟在B之后的0，将其改为B； 重复执行第二、三个动作，直到无法继续执行时为止。 设计思想：用字符串0i表示正整数i,用字符串0i10j表示i Θ j，则有： 五、用图灵机作为函数计算机 例2：设计一个图灵机M，可进行真减法运算(即m Θ n)，该运算定义为：如果m≥n，则m Θ n = m-n；如果mn，则m Θ n=0。 B B 0 ...... 0 1 1 1 0 ...... 0 B B B B ...... 有限控制器 按照以上所述的执行步骤，M在执行动作的过程中，最后会出现如下两种情况之一而停机： ① 当M在白色的1的右边向右移动找0时,若找不到0了(即遇到空白符B),这说明mn,即在0m10n中,白色的1右边的0已全部改写为1了,而此时白色的1左边的m个0中的前n+1个0也已改写为B(多改了一个0),则此时将多改的那个B改为0;再将n+1个1(1个白色的1和n个黄色的1)均改为B,此时带上所剩0的个数即为所求。 ② 当M在白色的1的左边找不到0时,说明白色的1左边的m个0均已改写为B,表示n≥m,按定义此时m Θ n=0。则此时M将带上所有的1 和 0(一个白色的1及其右边若干黄色的1和0)全部改写为B,表示结果为0。 设计思想：用字符串0i表示正整数i,用字符串0i10j表示i Θ j，则有： 五、用图灵机作为函数计算机 例2：设计一个图灵机M，可进行真减法运算(即m Θ n)，该运算定义为：如果m≥n，则m Θ n = m-n；如果mn，则m Θ n=0。 B B 0 ...... 0 1 1 1 0 ...... 0 B B B B ...... 有限控制器 根据以上分析，设计图灵机M如下： M=({q0,q1,...,q6},{0,1},{0,1,B},δ,q0,B, {q6} ) ， 其中δ如下： δ(q0,0)=(q1,B,R) δ(q1,0)=(q1,0,R) δ(q1,1)=(q2,1,R) δ(q2,1)=(q2,1,R) δ(q2,0)=(q3,1,L) δ(q2,B)=(q4,B,L) δ(q3,1)=(q3,1,L) δ(q3,0)=(q3,0,L) δ(q3,B)=(q0,B,R) δ(q4,1)=(q4,B,L) δ(q4,0)=(q4,0,L) δ(q4,B)=(q6,0,R) δ(q0,1)=(q5,B,R) δ(q5,1)=(q5,B,R) δ(q5,0)=(q5,B,R) δ(q5,B)=(q6,B,R) 设计思想：用字符串0i表示正整数i,用字符串0i10j表示i Θ j，则有： 五、用图灵机作为函数计算机 例2：设计一个图灵机M，可进行真减法运算(即m Θ n)，该运算定义为：如果m≥n，则m Θ n = m-n；如果mn，则m Θ n=0