Given a grammar, we say that a sequence of strings is a 'W-derivation of V' if 'W' is the first and 'V' the last string in the sequence, and each string of the sequence is derived from the one preceding it by application of one of the rewriting rules [...] Where 'V' is a string of formatives, we say that a 'W-derivation' of 'V' is 'terminated'. We call 'V' a 'terminal string' if there is an '#S#'-derivation of '#V#', where S is the designated 'initial symbol' of the grammar (representing the category "Sentence", and # is the 'boundary symbol' (regarded as a grammatical formative).
- Chomsky (1969), a pag.66