Formal grammars which take account of external terminal contexts

摘要: At present the fact that methods of constructing translators which are tightly related to the input and output languages are unsatisfactory has been thoroughly acknowledged. The growth of the complexity of problems that are solved on electronic computers and the rapid progress in the field of programming systems lead to the necessity of changing input and output languages, which requires a radical rearrangement of the translator. In this connection the problem develops of constructing syntactically controllable translators (ie, translators that are oriented toward a class of languages). A detailed review of this topic may be found in [6]. One of the composite and most difficult parts of the problem indicated above is the problem of syntactic analysis in a class of grammars. The most extensive practice is that of stipulating the syntax of programming languages by means of context-free grammars. However, the well-known …