已经证明文法的二义性是可判定的。