grammar - 查找以下语言的语法

Question

查找以下语言的语法:

a*b |

(a*b | b*a)*

我想我有 1 (S -> aS | b) 的答案，但我对第二个很困惑。任何帮助将不胜感激。

Answer 1

想想整个表达(a*b | b*a)*作为非终结符，然后将内部的每个元素(即 a*b 是一个，而 b*a 是另一个)视为单独的非终结符。

暗示:

S -> ε | ST
T -> [rule for a*b] | [rule for b*a]

T是支架里面的东西。