I'm a bit confused. Does the ⇒ simply denote you going through the CFG step by step ? To use a pretty basic-ish example:
sentence ⇒ subject | predicate
subject ⇒ article | noun
predicate ⇒ verb | direct object
article ⇒ THE | A
noun ⇒ CAT | MAN
And so on and so forth? Is the above an L(CFG)?