Formal grammar (source code)

= Formal grammar
{wiki}

A grammar $(N,\Sigma,P,S)$ generates the terminal words reachable from $S$ by finitely many productions.