a*
(a|b)
abcd
(a|b)*
a(a|b)c*
a*b|b*a
abc*d