In this paper, the power of expression necessary to describe a translator is considered, and a descriptive language which is restricted in its power of expression is proposed. Next, correctness of a given translator description in this language is sho...
In this paper, the power of expression necessary to describe a translator is considered, and a descriptive language which is restricted in its power of expression is proposed. Next, correctness of a given translator description in this language is shown.
A translator from CFL(Contex Free Language) to CFL can be expressed in TG(Transduction Grammar). But TG is too less powerful to express a translator for conventional programming language. Therefore description language TDL(Translator Description Language) is developed by extension of TG. Correctness of a tranlator in TDL is verified almost as easy as in TG.