Definition:Formal Grammar/Bottom-Up/Extremal Clause
< Definition:Formal Grammar | Bottom-Up(Redirected from Definition:Extremal Clause)
Jump to navigation
Jump to search
Definition
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.
Sources
- 1965: E.J. Lemmon: Beginning Logic: $\S 2.1$ (in the context of the language of propositional logic)