摘要: 一、图灵机根据有限状态控制器的当前状态及每个读写头读到的带符号,图灵机的一个计算步可实现下面3个操作之一或全部。(1)改变有限状态控制器中的状态。(2)清除当前读写头下的方格中原有带符号并写上新的带符号。(3)独立地将任何一个或所有读写头,向左移动一个方格(L)或向右移动一个方格(R)或停在当前单元不动(S)。k带图灵机可形式化地描述为一个7元组(Q,T,I,δ,b,q0,qf),其中:(1)Q是有限个状态的集合。(2)T是有限个带符号的集合。(3)I是输入符号的集合。(4)b是唯一的空白符,b∈T-I。(5)q0是初始状态。 (6)qf是终止(或接受)状态。(7)δ是移动函数。它是从Q×T 阅读全文
posted @ 2010-12-06 19:56 独酌逸醉 阅读(8317) 评论(4) 推荐(0) 编辑