问题是提供无上下文语法,其中L = {w∈{a,b} * | w中a的数量是b的数量大于b的数量。我的解决方案是
S -> LaL
L -> aLb|abL|bLa|Lab|Lba|baL|_
任何人都能说出为什么我的解决方案对这种语言不起作用吗?
答案 0 :(得分:0)
试试这个..可能有更好/更容易的答案,但这通过了验证者的测试。
S -> A
A -> BaAbB | BAabB | BabAB | BbaAB | BbAaB | a
B -> bBa | aBb | _