Automation 语法的形式语言

我试图从这些语法中推断出他们的语言：

对于第一个问题，我认为但不确定语言是： {a^ib^j | i mod 2=0且j>0}

至于第二个，我一点线索都没有

1.
    G = ({S,A,B},{a,b},S,P) 
    P:
    S -> AAB
    A -> aaA | aa
    B -> bB | b

2.
    G = ({S,A,B},{a,b},S,P)
    P:
    S -> AB
    A -> aAb | epsilon
    B -> bBa | epsilon

为了达到第一个语法的形式语言，我试着用不同的形式把它剪了好几次，发现“a”必然会重复偶数次

对于第一个，我认为但不确定语言是：{a^ib^j|i mod 2=0和j>0}

反例：aab在该语言中，但不在语法语言中

旁白：而不是

{a^(i) ... | i mod 2 = 0 ...}`

我认为更常见的说法是

{a^(2i) ... | ...}

对于第二个，我一点线索都没有

1.
    G = ({S,A,B},{a,b},S,P) 
    P:
    S -> AAB
    A -> aaA | aa
    B -> bB | b

2.
    G = ({S,A,B},{a,b},S,P)
    P:
    S -> AB
    A -> aAb | epsilon
    B -> bBa | epsilon

从S派生的语言只是从A和B派生的语言的串联

A有两种选择，一种是递归的，另一种是非递归的，所以从A派生的任何句子的结果都是k>=0个递归产生式应用，然后是一个非递归产生式应用。因此，您应该能够从A

---

B也是一样，然后连接它们。

谢谢！这真的很有帮助：