, 就可以得到一个数据结构 ,
上述格局可以记作
\rm 00q1B
, 该写法表示 与 某个格局 ( 快照 ) 一一对应 ;
在 图灵机中 , 读头指向
1
, 就将状态写在
1
的左边...;
二、图灵机设计
----
图灵机的设计很复杂 , 一般情况下 , 不需要设计出图灵机的具体的指令 ,
只需要 使用语言描述图灵机的读写头在带子上的操作 即可 ;
设计图灵机 , 只需要 将图灵机描述出来...即可 ;
证明问题属于
\rm P
, 只需要将问题使用图灵机判定的过程描述出来 , 计算出该问题的时间复杂度的数量级 ;
三、图灵机设计示例 1
----
给定语言 :
\rm A = \{...0^k1^k : k \geq 0 \}
, 设计出该语言对应的图灵机 ;
\rm M_1
图灵机算法设计如下 : 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作..., 没有必要将图灵机指令整体设计出来 ;
\rm M_1 =
"在长度为
\rm n
的字符串
\rm w
上进行如下计算 :
① 扫描整个带子上的字符串 , 查看
0
和
1
的顺序