Grammar

A formal set of rules defining the syntax of a language. Formally, a tuple 〈N,T,P,S〉 of nonterminal symbols N, terminal symbols T, production rules P, and a start symbol S ∈ N. In software languages, the most frequently used kinds are context-free and regular grammars.