Removing epsilon transition from the grammar. What's the difference between accepting languages?
There is no difference. Both grammars describe the same language $$L = \{ \epsilon \} \cup \{ a^nba^n  | \forall n &gt; 0\}.$$