计算理论扩展概念——计算历史归约法

最新推荐文章于 2024-08-22 19:51:07 发布

紫云_C5DN

最新推荐文章于 2024-08-22 19:51:07 发布

阅读量142

点赞数

文章标签：安全

本文链接：https://blog.csdn.net/2203_75907074/article/details/134820771

版权

写这篇的原因是因为我在写计算理论作业的第一题时就被难住了……于是一怒之下就查到了一些扩展资料，在此分享给大家（文末有我找到的文章所叙述内容的 $B$ 站视频讲解！），希望对大家有帮助捏~

那么，让我们陆续请出今天的两位主角：计算历史和线性有界自动机~

计算历史：（其实不算是很新的概念了！）设 $M$ 是一个图灵机， $\omega$ 是一个输入串，若 $M$ 接受 $\omega$ ，则在这个过程中产生的格局序列 $C_1,C_2...C_l$ （其中 $C_1$ 为起始格局， $C_l$ 为接受格局）就被叫做 $M$ 在 $\omega$ 上的接受计算历史。反之，若 $C_l$ 不为接受格局而为拒绝格局，则称该格局序列为 $M$ 在 $\omega$ 上的拒绝计算历史。

可以看出，计算历史都是有限序列。因为接受格局或者拒绝格局的存在意味着该图灵机必然停机（如果陷入循环则不存在接受/拒绝格局），所产生的格局总数自然是有限多的。这点对于我们后面的分析十分重要。

计算历史在处理 $A_{TM}$ 的归约问题时具有重要作用！接下来我们就用计算历史归约方法来解决几个判定实例！

在解决例子之前，我们先来看看一个全新的概念：线性有界自动机

线性有界自动机（LBA）：是一种削弱版的图灵机，它不允许读写头离开包含输入的带子的区域，也就是从左端封口变成了左右端均封口。

尽管线性有界自动机的存储功能受限，但不要小看了它的能力！其实 $A_{DFA}$ 、 $A_{CFG}$ 、 $E_{DFA}$ 、 $E_{CFG}$ 的判定器都是 $L B A$ 哦~

另外， $L B A$ 所识别的语言是一种我们课上没有讲到的语言：上下文有关语言（CSL），对应的文法是上下文相关文法。但是这已经是支线任务的支线任务了，所以今天就不过多叙述这个上下文相关文法了www

接下来我们就来证明 $A_{LBA}=\{\langle M,\omega\rangle|M$ 是一个接受串 $\omega$ 的 $LBA\}$ 是可判定的！

在证明之前，先要发现这么一个事实：对于一个输入长度为 $n$ 的、有 $q$ 个状态和 $g$ 个带子字母表中的字符的图灵机 $M$ ，可以求出 $M$ 的格局总数为 $qng^n$ （关键在于格局总数有限！）

我们姑且把 $L B A$ 看做一种弱一点的图灵机，仍然沿用了格局等图灵机概念。那么我们可以设计出判定 $A_{LBA}$ 的算法：

模拟 $M(\omega)$ ，执行 $qng^n$ 步，若中途或者到最后停机了，则该接受接受，该拒绝拒绝；若 $M$ 还没有停机，由于格局总数就 $qng^n$ 这么多，说明必然会出现重复格局，也就是陷入循环，应当拒绝。

因此 $A_{LBA}$ 可判定！

接下来还有几个例子哦！

（1） $E_{LBA}=\{\langle M\rangle|M$ 是一个 $L B A$ 且 $L(M)=\empty\}$ 是不可判定的

我们可以通过计算历史归约，证明 $A_{TM}$ 可归约到 $E_{LBA}$ ，也就是可以用 $E_{LBA}$ 构造 $A_{TM}$ ：

我们先构造这样的 $LBA\ M_1$ ，它只接受 $\langle M,\omega\rangle$ 的接受计算历史（为什么 $L B A$ 能够接受接受计算历史也是需要讨论的，这里包括下面的 $P D A$ 拒绝接受计算历史的问题都很复杂很复杂，纯文字叙述太过于费力了，建议看文末的B站视频的讲解）。再用 $E_{LBA}$ 对 $M_1$ 进行判定，如果判定为空则拒绝（没有接受计算历史当然拒绝了呗），不为空则接受，这样就判定了 $A_{TM}$ 。