The I TEX is a document typesetting system which is popular with a very large number of scientists. Its power of expression is so rich that one can write any document he wants. Especially, the LAS is useful when the document contains much of mathematical formulae or requires a document with high quality. Due to the ability of mathematical expressions, the DT EX is frequently used in the programming language reserarch groups.
In this thesis, we designed a typesetting language based on the TEX. The language, named the LanTEX, was designed to give a method for writing a document which describes a programming language. In the LanTEX environment, one can use a lot of features which is good for programming language documentation methodologies, such as the BNF notation and the semantic rule notation. We implemented a translator from a LanTEX source file to a LATEX file as a target.
