A grammar is a set of logical rules that form a language. (more precisely defined in goals of a grammar) goals of a grammar explain natural languages in syntax + semantics have described algebras which can be used to evolve the syntax …that describe the grammatical operations The formalism here is that a rigorous grammar should have: semantic accountability generativity