BNF Module README INTRODUCTION The t-bnf module implements a way to easily write BNF grammars in CONTEXT. Let's look at an example BNF grammar in a document: \starttext Here's a \BNF\ grammar. Enjoy. \placebnfgrammar [here] [bnf:test] {A test of the \BNF\ module} {\startbnfgrammar[] : ab : $\epsilon$ \stopbnfgrammar} Which will match the language $L = \{\,a^nb^n \mid n \geq 0\,\}$. \stoptext You may try to generate module documenation embedded in t-bnf.tex with texexec as well: % texexec --interface=en --module --pdf t-bnf.tex If you have any issues with creating the documentation this may be a result of lacking the proper language format. You can look up the proper information for generating these formats in minstall.pdf at PRAGMA-ADEs site (http://www.pragma-ade.com/). Enjoy!