Directory macros/latex/contrib/formal-grammar
Package formal-grammar
This package provides an easy way to write formal grammars.
To use it, run the following commands:
$ latex formal-grammar.ins $ pdflatex formal-grammar.dtx
The first command generates the file formal-grammar.sty
that should be placed in the same folder than your main document. The second command generates the file formal-grammar.pdf
(you may require multiple runs to adjust internal references), which is the documentation for the package.
License
This package is provided under the terms of the LaTeX Project Public License, version 1.3 or later.
Author
The initial author of this package is Martin Vassor.
Thanks to Enrico Gregorio (egreg) for suggesting improvements. Thanks to Fangyi Zhou for the "center |" feature in formal-grammar
(Commit: #4c3727ef)
See also
Download the contents of this package in one zip archive (235.5k).
formal-grammar – Typeset formal grammars
This package provides a new environment and associated commands to typeset BNF grammars. It allows to easily write formal grammars. Its original motivation was to typeset grammars for beamer presentations, therefore, there are macros to emphasize or downplay some parts of the grammar (which is the main novelty compared to other BNF packages).
Package | formal-grammar |
Repository | https://framagit.org/Bromind/LaTeX-packages/-/tree/master |
Version | 1.2 |
Licenses | The LaTeX Project Public License 1.3 |
Copyright | 2021–2022 Martin Vassor |
Maintainer | Martin Vassor |
Contained in | TeX Live as formal-grammar MiKTeX as formal-grammar |
Topics | Formal specification |