noun: (linguistics, countable) A system of rules that can generate all and only those combinations of words that form grammatical sentences in a given language.
noun: (linguistics, uncountable) The general theory dealing with grammar as constructed by such rules.