derivations from a grammar