• Entscheidungsprobleme für CFGs• Normalformen für CFGs• Chomsky-Normal-Form• Greibach-Normalform• Pumping-Lemma für CFLs