Derivation of a string from a Context-Free Grammar