形式与语言与自动机总结-----图灵机

 图灵机的设计

图灵机的组成:

形式与语言与自动机总结-----图灵机_第1张图片

 图灵机包括三部分:输入输出表带 ,上面包括一些空格和输入字符,读写头可以向两个方向移动,每一次可以读取一个字符并对他进行改写,改变状态根据状态转移函数来确定。

状态转移函数:\delta (q,X)=(p,Y,L)

形式与语言与自动机总结-----图灵机_第2张图片

图灵机是一个确定的自动机 

识别语言的图灵机 

形式与语言与自动机总结-----图灵机_第3张图片

 每次读入第一个0的时候,将0替换成X并且指针向右移动,当读入到第一个1的时候将1替换为Y指针向左移动,反复反复,知道将所有的1 0替换,当没有0的时候指针指向的是Y,这个时候直接找到B即可。

转移符号:

形式与语言与自动机总结-----图灵机_第4张图片

让q变成p同时Xi变成Xi-1

形式与语言与自动机总结-----图灵机_第5张图片

形式与语言与自动机总结-----图灵机_第6张图片

3.设计(0+1)*并且0的数量不能为1的二倍的图灵机:

形式与语言与自动机总结-----图灵机_第7张图片

4.设计01数量相等的图灵机 和例1不同这个可以接受空串

5.{ww^{R}} w is any string of 0’s and 1’s

6. {ww}w is any string of 0’s and 1’s 

7.设计a^{i}b^{j}c^{k}(k=i*j) ​​形式与语言与自动机总结-----图灵机_第8张图片

8.Design a Turing machine for the language {wcw | w ∈ {a,b} *}

形式与语言与自动机总结-----图灵机_第9张图片

 9.形式与语言与自动机总结-----图灵机_第10张图片

形式与语言与自动机总结-----图灵机_第11张图片

设计图灵机计算器

加法器和减法器的设计:

1.

图灵机设计 - 以f(x) = x + y为例_设计图灵机例题_Sherlock Salvatore的博客-CSDN博客

2. Let x and y are positive numbers. Please design a Turing Machine (diagram) to compute  x – y  of x and y). You should explain the notation of x and y. Hint : you may get the notation as simple as you can.

3.二进制计数器

 思路:case1:初始状态每读入一个0,标记为Z0,指针向右移动 如果碰到B替换成1

case2:如果有进位的问题怎么解决

形式与语言与自动机总结-----图灵机_第12张图片

                                                             参考一位学长的做法。

你可能感兴趣的:(Latex和形式语言,学习)