A two-dimensional hierarchy for attributed tree transducers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1279, Issue , 1997, Pages 281-292

  Kühnemann, Armin ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORESTRY; TRANSDUCERS;

ATTRIBUTE GRAMMARS; FORMAL MODEL; PUMPING LEMMA; TREE TRANSDUCERS; TWO-DIMENSION;

COMPUTATION THEORY;

EID: 84958746995     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0036191     Document Type: Conference Paper

References (12)

1. K. Barbar. Attributed tree grammars. Theoret. Comput. Sci., 119:3-22, 1993.
2. Y. Bar-Hillel, M. Perles, and E, Shamir. On formal properties of simple phrase structure grammars. Z. Phonetik. Sprach. Komm., 14:143-172, 1961.
3. G. Bochmann. Semantic evaluation from left to right. Comm. Assoc, Comput. Math., 19:55-62, 1976.
4. J. Engelfriet. Some open questions and recent results on tree transducers and tree languages. In R.V. Book, editor, Formal language theory; perspectives and open problems. New York, Academic Press, 1980.
5. J. Engelfriet and G. Filé. Passes, sweeps, and visits in attribute grammars. J. Assoc. Comput. Math., 36:841-869, 1989.
6. Z. Fülöp. On attributed tree transducers. Acta Cybernetica, 5:261-279, 1981.
7. Z. Fülöp, F. Herrmann, S. Vagvölgyi, and H. Vogler. Tree transducers with external functions. Theoret. Comput. Sci., 108:185-236, 1993.
8. R. Giegerich. Composition and evaluation of attribute coupled grammars. Acta Informatica, 25:355-423, 1988.
9. D.E. Knuth. Semantics of context-free languages. Math. Syst. Theory, 2:127-145, 1968. Corrections in Math. Syst. Theory, 5:95-96, 1971.
10. A. Kühnemann. A pumping lemma for output languages of macro tree transducers. In H. Kirchner, editor, CAAP’96, Proceedings, LNCS, 1059:44-58. Springer-Verlag.
11. A. Kühnemann and H. Vogler. A pumping lemma for output languages of attributed tree transducers. Acta Cybernetica, 11:261-305, 1994.
12. A. Kühnemann and H. Vogler. Synthesized and inherited functions - a new computational model for syntax-directed semantics. Acta Informatica, 31:431-477, 1994.