Derivations of CFGs