This subsection describes modules relating to context-free grammars—grammars for short. The PT module defines the abstract type of parse trees. The Prod module defines the concrete type of grammar productions, and the ProdSet module provides operations on sets of productions. And, the Grammar module defines the abstract type of grammars.
Forlan Version 4.15
Copyright © 2022 Alley Stoughton