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)判断是否为全集。如果是全集,则拒绝,否则,接受。