Some of the things I've learned every day since Oct 10, 2016
22: Derivations in Context-Free Grammars
November 1, 2016Posted by on
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.