$G = (\Sigma, V, S, R)$

ein endliches Alphabet $\Sigma$ (aka Terminalalphabet)

eine endliche Menge $V$ mit $V \cap \Sigma = \emptyset$ von Variablen (aka Nichtterminale)

ein Startsymbol $S \in V$

eine endlichen Menge an Ableitungsregeln $R$ = Menge von Tupeln $(l,r) \in V \times (\Sigma \cup V)^{*}$ (aka Produktionen)