形式语言与自动机 图灵机

图灵机定义：

 

形式化定义：

 

转移函数显然要有下个状态，改写内容和向左向右。

 

 

 

 

一个经典的例子：

 

思路有了，怎么做呢？：

 

 

 类似例子：

 

图灵机的表示能力：

 

 

 

 

 

举个例子：

 

那个m和n的意思是连接，有m和n个0的意思。（1）那个地方应该是m-n+1个零。

 

 扩展图灵机：

 

 

 

 

非确定图灵机：

 

 

受限图灵机：