Derivation --- вывод (в грамматике).
The concept of derivation is a central concept in the theory of formal grammars and languages. Let be a grammar and be two strings over the alphabet .
A derivation of from in is a finite sequence of words over
such that , , and for any , , i.e. immediately derives from . is called the length of the derivation.
Derivations are also written as