RE to CFG

RE	CFG
ε	S `->` E
a	S `->` a
a\|b	S `->` a \| b
a.b	S `->` ab
a*	S `->` ε \| aS
a⁺	S `->` a \| aS
a^?	S `->` ε \| a
(aab).(ab\|b)+.d.e `A` = (aab) `B` = (ab\|b)+ `C` = aab `F` = ab\|b	S `->` ABde A `->` C* `->` ε \| CA C `->` aab B `->` F+ `->` FB \| F F `->` ab \| b

jika ada + yang setara pada regex maka itu adalah OR