Eine formale Grammatik ist ein System von Regeln, nach denen aus Zeichen und Wörtern einer Sprache gültige Sprachkonstrukte für eine formale Sprache (Sätze, Programme ...) gebildet werden.

Dabei werden auf der linken Seite die Elemente, sog. Nichtterminale (hier orange), notiert.
Auf der rechten Seite stehen Nichtterminale und Terminale (hier schwarz).