context-free-grammar - この文脈自由文法言語が適合しないのはなぜですか?

Question

問題は、L={w∈{a,b}∗∣w の a の数が b の数より 1 大きい} という文脈自由文法を提供することです。私の解決策は

S -> LaL
L -> aLb|abL|bLa|Lab|Lba|baL|_

私のソリューションがこの言語で機能しない理由を誰か教えてもらえますか?

Answer 1

これを試してください..より良い/より簡単な答えがあるかもしれませんが、これは検証者のテストに合格します.

S -> A
A -> BaAbB | BAabB | BabAB | BbaAB | BbAaB | a
B -> bBa | aBb | _