我想知道是否有人可以帮助我设计上下文无关语法
对于一种语言,其中 { w | |w|a=2|w|b }
例如 w=aab , aaaabb , aaaaaabbb ,baa , aba , aabbaaaba ...
S-> aab | 咩| 阿巴 | 不锈钢 | 抗体 | 巴萨 | aaSb | bSaa 不会生成 aaabba。
所以我的下一个问题是,有一个看起来像这样的语法是不是太模棱两可了->
**
S-> aab | baa | aba | aSab | aSba | aaSb |abSa |aabS | abaS | Saab | Saba | Sbaa | SS | bSaa | baSa | baaS ?
**
先感谢您