侧耳倾听

原创 关于语法二义性的证明

不存在语法二义性的检测算法，几乎是大家都接受了的一个命题，可我在网上用中文搜了一下也没看到这个命题的证明。。  证明某语法存在二义性，换个角度就是证明两个语法所描述的语言有交集。 而“语言有交集”我想不到什么算法可以搞，要是该语言的句子是有限的还好，直接暴力；但大部分语言都是无限的。。  一开始我觉得，从图论的角度应该是有检测二义性的算法存在的吧？点做token，边表联系，那随便遍历一下不