Let's consider this CFG-
S->AB [Here, **S** is the starting variable] A->C CB->Cb C->a
Now, the question is- Check if ab is a valid string for the given string or not?
I thought an answer. And that is-
S->AB ->CB [A->C] ->Cb [CB->Cb] ->ab [C->a]
My question is, Can we generate string ab from this CFG in this way?