ebnf – Simple package for EBNF productions
The package defines a list environment, in which \item[LHS] produces output <LHS> ::=; macros are also provided for the right-hand side of productions.
Unknown Status, No Information Available
typeset formal specification languages
Maybe you are interested in the following packages as well.
- zed: Typeset Z specifications
- latex-bnf: LaTeX macros for typing BNF specifications
- vdmlisting: Typesetting VDM in ASCII syntax
- exam209: Process exam questions and answers (LaTeX 2.09)