Eine CFG ist ein Tupel (V,Σ,P,S)(V,\Sigma,P,S)(V,Σ,P,S) mit Variablen VVV, Terminalen Σ\SigmaΣ, Produktionen PPP und Startsymbol SSS.
Produktionen haben links genau eine Variable, z.B. A→aAbA\to aAbA→aAb.