这种语言的语法是什么？

Question

我有这种语言：

  

{a ⁿ b ^m | m + n是偶数}

这个语法的正确性是什么？

Answer 1

S -> aaS | aB | bbC | ε
B -> bbB | b
C -> bbC | ε

你知道，这是一种常规语言。 'S'代表“我们构造了一个偶数个并且可以跟随更多的'，'B'代表”我们已经构造了一个不均匀的数字，现在随后数量不均匀。 'C'代表“我们构建了偶数个a，现在偶数个b。”

ε代表“”，空字符串