Grammatiken: Typen, Generierung und Ableitungsregeln