Eine formale Sprache für das Deutsche könnte etwa eine Regel SATZ &rarr; SUBJ PRÄD enthalten, eine Ableitung des Satzes („Wortes“) „Peter lügt“, könnte dann beim Startsymbol SATZ beginnen, es zunächst durch „SUBJ PRÄD“ ersetzen, und in dieser Satzform dann noch „SUBJ“ durch „Peter“ und „PRÄD“ durch „lügt“. Die hier &ndash; wie oft zur Unterscheidung &ndash; großgeschriebenen ''Nichtterminalsymbole'' SATZ, SUBJ, PRÄD sind selbst keine Teile der beschriebenen Sprache, sondern treten nur während der Erzeugung von deren möglichen Äußerungen nach einem Ersetzungsverfahren auf und vertreten meist, so wie hier („Subjekt“, „Prädikat“), abstrakte grammatische Einheiten im Satz.
''Theoretische [[Informatik]], Theorie [[formale Sprache|formaler Sprachen]]'': Symbol, das während der [[Ableitung]] der sprachlichen Konstrukte in einer [[formale Sprache|formalen Sprache]] auftreten kann, aber niemals selbst Bestandteil der erzeugten Konstrukte ist