A formal grammar recursively defines the expressions and well-formed formulas of the language.
Unha gramática formal define recursivamente as expresións e fórmulas ben formadas da linguaxe.