Dynamic template translators—a new device for specifying programming languages

Abstract

A new device called a Dynamic Template Translator (DTT) is defined. DTTs are extensions of context free translation schemes in two directions: (1) their dynamic nature enables production rules to be created and destroyed according to the context seen, and (2) their template structure enables information contained within symbols to be manipulated. The scope of languages defined by DTTs is also investigated in this paper.

Keywords:

• Translator
• formal specification

C.R. Categories:

• D.3.1
• D.3.4
• F.3.2