Definition:Formal Grammar/Bottom-Up

Definition
Let $\mathcal L$ be a formal language whose alphabet is $\mathcal A$.

A bottom-up grammar for $\mathcal L$ is a formal grammar whose rules of formation allow the user to build well-formed words from primitive symbols, in the following way:


 * Letters are well-formed words.
 * A collection of specified concatenations of well-formed words and signs are also well-formed words.

Also see

 * Bottom-Up Specification of Propositional Calculus, an example of a bottom-up grammar