最近刚考完可计算理论,考前看习题总有一些题让设计一个图灵机来实现某个算法什么的(≖-≖)(虽然考试题里完全没有考到!然而我还是勤勤恳恳地想了很久)当时看图灵机定义看了无数遍,但依然不是很明白怎么设计啊摔(手动翻桌…)后来在众多友人的帮助下终于想通了!(〃'▽'〃)接下来让本小白用最白的话举几个小例子帮助更好地理解图灵机:
首先简单讲一下图灵机的构成成分(这个定义并不官方,就本小白瞎定义的,不过基本包括了下面例子里会提到的所有概念):M=(Q,A,B,R,t,f,Q0,Qaccept,Qreject) 其中:
Q:有限的状态集合;
A:有限的输入字母表(不包含空白符B);
R:代表无限长度的纸带,纸带上可能出现A里的任意字母,也可能是空白符B(可以把纸带看做是一个磁盘);
t:代表图灵机的读写头,可以在纸带上左右移动并进行读写操作;
f&