example)
CFG = ({S}, {a,b}, S, P}, P = {S -> aSa, S-> bSb, S->lambda}
Derivation : replacement of non-terminals by choice on the right hand side of grammar symbols.
Process of discovering a derivation is called parsing.