| 書目名稱 | Syntax-Directed Semantics |
| 副標(biāo)題 | Formal Models Based |
| 編輯 | Zoltán Fül?p,Heiko Vogler |
| 視頻video | http://file.papertrans.cn/885/884233/884233.mp4 |
| 概述 | A motivated presentation of recent results on tree transducers for giving semantics to context-free languages A small handbook for supporting further research and lectures on the topic A contribution |
| 叢書名稱 | Monographs in Theoretical Computer Science. An EATCS Series |
| 圖書封面 |  |
| 描述 | The subject of this book is the investigation of tree transducers. Tree trans- ducers were introduced in theoretical computer science in order to study the general properties of formal models which give semantics to context-free languages in a syntax-directed way. Such formal models include attribute grammars with synthesized attributes only, denotational semantics, and at- tribute grammars (with synthesized and inherited attributes). However, these formal models share certain constituents which are irrelevant in the investi- gation of the general properties considered in this book. In particular, we can abstract (a) from derivation trees of the context-free grammar and take trees over some ranked alphabet, (b) from the semantic domain of the model and use the initial term algebra instead, and finally (c) from the machine- oriented computation paradigm, which maintains the incarnation information of recursive function calls, and take a term rewriting semantics instead. Ap- plying these three abstraction steps to attribute grammars with synthesized attributes only, to denotational semantics, and to attribute grammars we obtain the concepts of top-down tree transducer, macro tree tra |
| 出版日期 | Book 1998 |
| 關(guān)鍵詞 | Baumtransformatoren; Formale Sprachen; Grammars and other rewriting systems; Grammatiken und andere Ers |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-72248-6 |
| isbn_softcover | 978-3-642-72250-9 |
| isbn_ebook | 978-3-642-72248-6Series ISSN 1431-2654 Series E-ISSN 2193-2069 |
| issn_series | 1431-2654 |
| copyright | Springer-Verlag Berlin Heidelberg 1998 |