I need to write the CFG that generate to the following automata.
I know that a transition like this:
-es, es; S lead to a rule like S-> es
-es, B; es lead to a rule like B -> es
-es, B; aB lead to a rule like B-> aB
es stands for empty string.
But I have don't know how to deal with rules like "c, a; a". Anyone can give me any help? Thank you.