计算理论精选版.pptVIP

语言理论中的不可判定问题 定理 5.4 EQTM是不可判定的。 设TM R判定EQTM。如下构造判定ETM 的TM S： S=“对于输入M，其中M是TM： 1)在输入M，M1上运行R，其中M1是拒绝所有输入的图 灵机。 2)如果R接受，则接受；如果R拒绝，则拒绝。 如果R判定EQTM，则S判定ETM。但由定理5.2，ETM是不可 判定的，故EQTM也是不可判定的。 * 语言理论中的不可判定问题 定义 5.5 设M是一个图灵机，w是一个串。M在w上的一个 接受计算历史是一个格局序列C1，C2，．．．,Cl， 其中C1是M在w上的起始格局，Cl是M的一个接受 格局，且每个Ci都是Ci-1的合法结果，即符合M的 规则。M在w上的一拒绝计算历史可类似定义，只是 Cl应是一个拒绝格局。 * 定义 5.6 线性界限自动机是一种受到限制的图灵机，它不允 许其读写头离开包含输入的带区域。如果此机器 试图将它的读写头移出输入的两个端点，则读写 头就保持在原地不动。这与普通图灵机的读写头 不会离开带子的左端点的方式一样。 语言理论中的不可判定问题 定义 5.6 a b a b a 控制器 * 定义 5.6 设M是有q个状态和g个带符号的LBA。对于长度为 n的带子，M恰有qngn个不同的格局。 语言