Terminalsymbole sind die grundlegenden Symbole, aus denen wir Sprachen aufbauen.

In der formalen Grammatikunterteilung gibt es Terminalsymbole und Nicht-Terminalsymbole.

Terminalsymbole können nicht weiter reduziert werden

Nicht-Terminalsymbole werden durch Formeln von Terminalsymbolen dargestellt

Die Menge der Terminalsymbole und die Menge der Nicht-Terminalsymbole sind disjunkte Mengen