Machines for Attribute Grammars

Two automata models are introduced that play, with respect to attribute grammars and attribute-evaluation for them, the same role as pushdown automata have with respect to context-free grammars and their parsing. It is shown, in fact, that these automata define the same class of string-to-value translations as attribute grammars. Their class of tree-to-value translations seems instead to be larger than that of attribute grammars and the difference is overcome by means of (a special type of) context-free grammar interpretations. An extended model of attribute grammar is presented that is as powerful as the automata with respect to tree-to-value translations.

[1]  Hanne Riis Nielson.  Using computation sequences to define evaluators for attribute grammars , 1981 .

[2]  Steven A. Vere,et al.  On syntax-directed transduction and tree transducers , 1970, STOC '70.

[3]  G. Filè.  Theory of Attribute Grammars , 1983 .

[4]  Joost Engelfriet,et al.  SOME OPEN QUESTIONS AND RECENT RESULTS ON TREE TRANSDUCERS AND TREE LANGUAGES , 1980 .

[5]  Daniel J. Rosenkrantz,et al.  Compiler design theory , 1976 .

[6]  Armin B. Cremers,et al.  Context-Free Grammar Forms , 1974, J. Comput. Syst. Sci..

[7]  Ken Kennedy,et al.  Automatic generation of efficient evaluators for attribute grammars , 1976, POPL.

[8]  Joost Engelfriet,et al.  Tree transducers, L systems and two-way machines (Extended Abstract) , 1978, J. Comput. Syst. Sci..

[9]  Mehdi Jazayeri,et al.  Alternating semantic evaluator , 1975, ACM '75.

[10]  Mehdi Jazayeri,et al.  Space-Efficient Storage Management in an Attribute Grammar Evaluator , 1981, TOPL.

[11]  Gregor von Bochmann,et al.  Semantic evaluation from left to right , 1976, CACM.

[12]  Kari-Jouko Räihä,et al.  Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars , 1979, SIGPLAN '79.

[13]  Joost Engelfriet,et al.  Macro Tree Transducers , 1985, J. Comput. Syst. Sci..

[14]  Robert Giegerich,et al.  A truly generative semantics-directed compiler generator , 1982, SIGPLAN '82.

[15]  Esko Ukkonen,et al.  Minimizing the Number of Evaluation Passes for Attribute Grammars , 1981, SIAM J. Comput..

[16]  Richard Edwin Stearns,et al.  Syntax-Directed Transduction , 1966, JACM.

[17]  Bruno Courcelle,et al.  Attribute Grammars and Recursive Program Schemes II , 1982, Theor. Comput. Sci..

[18]  Edgar T. Irons.  A syntax directed compiler for ALGOL 60 , 1983, CACM.

[19]  Daniel J. Rosenkrantz,et al.  Attributed Translations , 1974, J. Comput. Syst. Sci..

[20]  Harald Ganzinger,et al.  On Storage Optimization for Automatically Generated Compilers , 1979, Theoretical Computer Science.

[21]  Zoltán Fülöp.  On attributed tree transducers , 1981, Acta Cybern..

[22]  Alfred V. Aho,et al.  Syntax Directed Translations and the Pushdown Assembler , 1969, J. Comput. Syst. Sci..

[23]  Derick Wood,et al.  Grammar and L forms: An introduction , 1980, Lecture Notes in Computer Science.

[24]  Tsutomu Kamimura,et al.  Tree Automata and Attribute Grammars , 1983, Inf. Control..

[25]  Joost Engelfriet,et al.  Simple Multi-Visit Attribute Grammars , 1982, J. Comput. Syst. Sci..