Opening book details…
Can I read Syntax-Directed Semantics: Formal Models Based on Tree Transducers (Monographs in Theoretical Computer Science. An EATCS Series) on EtoBox?
Syntax-Directed Semantics: Formal Models Based on Tree Transducers (Monographs in Theoretical Computer Science. An EATCS Series) by Dr. Zoltán Fülöp, Prof. Dr.-Ing. Heiko Vogler (auth.) is a nonfiction available to read on EtoBox.
What is Syntax-Directed Semantics: Formal Models Based on Tree Transducers (Monographs in Theoretical Computer Science. An EATCS Series) about?
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 transduc
Who reads Syntax-Directed Semantics: Formal Models Based on Tree Transducers (Monographs in Theoretical Computer Science. An EATCS Series)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Dr. Zoltán Fülöp, Prof. Dr.-Ing. Heiko Vogler (auth.)
- Publisher
- Springer Berlin Heidelberg : Imprint: Springer
- Published
- 1998
- Language
- EN
- ISBN
- 9783642722509
- Category
- nonfiction
- Subjects
- Mathematics, Computer Science, Language Learning
More by Dr. Zoltán Fülöp, Prof. Dr.-Ing. Heiko Vogler (auth.)
Browse all works by Dr. Zoltán Fülöp, Prof. Dr.-Ing. Heiko Vogler (auth.)
Similar books
- Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) — Dines Bjørner, Martin C Henson, Bjørner Dines, Martin C Henson, D. (2008)
- Formal Syntax and Semantics of Java (Lecture Notes in Computer Science (1523)) — Jim Alves-Foss (1999)
- Models of Computation (Texts in Theoretical Computer Science. An EATCS Series) — Ugo Montanari Roberto Bruni (2017)
- Discourse Particles: Formal Approaches to their Syntax and Semantics (Linguistische Arbeiten Book 564) — Josef Bayer; Volker Struckmeier; De Gruyter Mouton (2017)
- Regulated Rewriting In Formal Language Theory (monographs In Theoretical Computer Science. An Eatcs Series) — Jürgen Dassow and Gheorghe Păun (1990)
- Adjectives: Formal Analyses in Syntax and Semantics (Linguistik Aktuell/Linguistics Today) — PATRICIA CABREDO HOFHERR AND ORA MATUSHANSKY, edited by Patricia Cabredo Hofherr, Ora Matushansky, edited by Patricia Cabredo-Hofherr, (2010)
