Stav dette: La teoría formal de la gramática