开发者

how can i prove that this grammar is ambiguous?

开发者 https://www.devze.com 2023-02-07 23:35 出处:网络
S -> bA|aB A -> a|aS|bAA B ->开发者_如何学编程 b|bS|aBB Any easy method other than trying to find a string that would generate two parse trees ?
S -> bA|aB
A -> a|aS|bAA
B ->开发者_如何学编程 b|bS|aBB

Any easy method other than trying to find a string that would generate two parse trees ?

Can someone please give me a string that can prove this.


There is a string though: bbaaba

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


There is no easy method for proving a context-free grammar ambiguous -- in fact, the question is undecidable, by reduction to the Post correspondence problem.

0

精彩评论

暂无评论...
验证码 换一张
取 消