Syntax-Directed Semantics
Subtitle: Formal Models Based on Tree Transducers
By: by Zoltán Fülöp, Heiko Vogler
Contributors: Vogler, Heiko
Series: Monographs in Theoretical Computer Science An EATCS Series; Monographs in Theoretical Computer Science An EATCS Series
Publisher: Springer Berlin Heidelberg
Published: 1998
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 269
ISBN-13: 9783642722509; 9783642722486
Subjects: Mathematics; Symbolic and mathematical Logic; Computer science
Description: 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.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Introduction; title: Basic Notions and Notations; title: Top-Down Tree Transducers; title: Macro Tree Transducers; title: Attributed Tree Transducers; title: Comparison; title: Macro Attributed Tree Transducers; title: Two Examples; title: Bibliography; title: Index.