Definition:Formal Grammar/Bottom-Up/Extremal Clause

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathcal F$ be a formal language.

Let the rules of formation of $\mathcal F$ 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.


Sources