Syntax-Directed Semantics
Formal Models Based on Tree Transducers
Seiten
1998
|
1., Ed.
Springer Berlin (Verlag)
978-3-540-64607-5 (ISBN)
Springer Berlin (Verlag)
978-3-540-64607-5 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
The subject of this monograph is the use of tree transducers to study general properties of formal models for giving semantics to context-free languages. Such formal models include attribute grammars with synthesized attributes only, denotational semantics, and attribute grammars with synthesized and inherited attributes. The authors consider top-down tree transducers, macro tree transducers, attributed tree transducers, and macro attributed tree transducers. A unified terminology is used to define them, and their transformational capacities are compared. Composition and decomposition of the tree transformations induced by the transducers are investigated intensively. This handbook on tree transducers is a base for further research as well as for lecturing the subject to graduate students. TOC:Introduction.- Basic Notions and Notations.- Top-Down Tree Transducers.- Macro Tree Transducers.- Attributed Tree Transducers.- Comparison.- Macro Attributed Tree Transducers.- Two Examples.- Bibliography.- Index.
| Reihe/Serie | Texts in Theoretical Computer Science. An EATCS Series |
|---|---|
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 530 g |
| Einbandart | gebunden |
| Schlagworte | Baumtransformatoren • Formale Berechnungsmodelle • formale Sprachen • Formal Languages • Grammars and other rewriting systems • Grammatiken und andere Ersetzungssysteme • Models of Computation • Programmiersprache • Semantics of Programming Languages • Semantik von Programmiersprachen |
| ISBN-10 | 3-540-64607-8 / 3540646078 |
| ISBN-13 | 978-3-540-64607-5 / 9783540646075 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
