我怎么能证明这个语法含糊不清？

Question

S -> bA|aB
A -> a|aS|bAA
B -> b|bS|aBB

除了试图找到一个会生成两个解析树的字符串之外的任何简单方法？

有人可以给我一个可以证明这一点的字符串.

Answer 1

但是有一个字符串: bbaaba

S -> bA -> bbAA -> bbaA -> bbaaS -> bbaabA -> bbaaba
S -> bA -> bbAA -> bbaSA -> bbaaBA -> bbaabA -> bbaaba

Answer 2

没有简单的方法来证明无上下文语法模糊 - 事实上,通过简化Post对应问题, 这个问题是不可判定的.