Definition:Formal Grammar/Bottom-Up/Extremal Clause

From ProofWiki
Jump to navigation Jump to search


Let $\FF$ be a formal language.

Let the rules of formation of $\FF$ be defined in a bottom-up manner.

The extremal clause of a bottom-up grammar is the final rule which excludes all collations other than those specified in the formation rules from being well-formed formulas.