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

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

没有简单的方法来证明无上下文语法含糊不清 - 事实上， the question is undecidable，缩减为Post correspondence problem。