A Concise Extensible Metalanguage for Translator Implementation.

摘要

A very concise metalanguage is presented. This language is capable of describing context free languages, including itself. Several mutually recursive functions define an interpreter for this language. The metalanguage and interpreter are extended to allow the inclusion of emitters. This makes possible the description of translations. A metatranslator is shown which is capable of self-translation. The addition of labeled productions makes possible a metatranslation language in the style of BNF. (Author)