(a|(g(tc)))
(0*)
(g*)