证明特定的上下文无关文法描述了常规语言

Question

我有这个上下文无关的语法：

S -> aSb

S -> aSa

S -> bSa

S -> bSb

S -> epsilon 

我想证明该语法描述了一种正则语言（即可以表示为正则表达式），但是我不确定该怎么做，并确信我不会错过任何模式。

我没有看到这个确切的问题，为什么我不认为这是重复的。我想对此相对简单的示例进行解释。我很难遵循更复杂的例子。