22: Derivations in Context-Free Grammars

A derivation of a string (in a context-free grammar) is a sequence of strings, beginning with a start string and ending with the string in question, and with each intermediate string in the sequence being the result of applying the transformation rules of the grammar to the one before it.

A derivation of a string within a grammar can be seen as a proof that the string belongs to that grammar’s language.