S -> bA|aB
A -> a|aS|bAA
B -> b|bS|aBB
除了尝试查找将生成两个分析树的字符串之外，还有其他简单的方法吗？
有人可以给我一个可以证明这一点的字符串吗？
最佳答案
没有简单的方法可以证明上下文无关的语法不明确-实际上，
the question is undecidable，简化为Post correspondence problem。
关于grammar - 我怎么能证明这种语法是模棱两可的？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/4878418/