(linguistics) a type of grammar that describes syntax in terms of a set of logical rules that can generate all and only the infinite number of grammatical sentences in a language and assigns them all the correct structural description
A system of rules that can generate all and only those combinations of words that form grammatical sentences in a given language.