计算历史的规约

E(LBA)不可判定的的证明

思路：

因为E(LBA)是判定一个LBA是否为空的机器，所以我们需要生成一个LBA的机器。

这里我们用到的是计算历史的规约，所以思路比较简单。我们让LBA  识别 ATM中输入的<M,w>的接收计算历史。

这样的话，LBA识别的语言就是<M,w>的计算历史。

从而采用E(LBA)进行判定，如果判定为空，则拒绝；如果不为空，则接受。

ALL(CFG)(其中CFG生成的语言为全集)是不可判定的证明

思路：

我们设计一个PDA，如果输入的是<M,w>的接收计算历史，那么PDA不接收这个输入。否则，都接受。

这样，我们生成了PDA的一个语言，从而用ALL(CFG)判断是否为全集。如果是全集，则拒绝，否则，接受。