Context free grammar 上下文无关文法的构造

因此，我有一种语言

L={a^I b^2j+1/ij}

，我必须基于它生成一个上下文无关的语法，你能帮我说明一下这样做的步骤吗

到目前为止，我有：

    S-->aS/aBbb
    B-->bB/b/e(empty)

但是我不确定它是否正确，请帮助我理解它。

对于具有“不相等”限制的语言，最简单的方法通常是首先找到与具有“相等”限制的语言相对应的语法，然后将其更改为需要更多的内容

在这种情况下，我们有许多

a

标记，后面跟着奇数个

b

标记，其中每个标记的数量都受到限制。在同等情况下，这是公正的

→ aSbb | b

单个

b

，具有相同数量的

a

s和包裹在其周围的成对

b

s

要使其不相等，我们需要添加额外的

a

s或额外的

B

s对，但不能同时添加两个：

→ 作为“| S”B
是的→ aS'bb|b
A.→ Aa|a

---

B→ Bbb | bb

您的语法接受i==j==1的

abbb

，违反了约束（S->abbb，B->B），那么该语言的正确语法是什么？