Record:   Prev Next
作者 Fülöp, Zoltán, 1955-
書名 Syntax-directed semantics [electronic resource] : formal models based on tree transducers / Zoltán Fülöp, Heiko Vogler
出版項 Berlin ; New York : Springer, ©1998
國際標準書號 9783642722486 (electronic bk.)
3642722482 (electronic bk.)
book jacket
說明 1 online resource (x, 269 pages) : illustrations
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
系列 Monographs in theoretical computer science
Monographs in theoretical computer science
附註 Includes bibliographical references (p. [257]-263) and index
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Introduction -- Basic Notions and Notations -- Top-Down Tree Transducers -- Macro Tree Transducers -- Attributed Tree Transducers -- Comparison -- Macro Attributed Tree Transducers -- Two Examples -- Bibliography -- Index
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
Description based on print version record
鏈接 Print version: Fülöp, Zoltán, 1955- Syntax-directed semantics. Berlin ; New York : Springer, ©1998 (DLC) 98038386 (OCoLC)39605347
主題 Programming languages (Electronic computers) -- Semantics
modèle formel
langage algébrique
transducteur arbre
Programming languages (Electronic computers) -- Semantics. fast (OCoLC)fst01078716
Transducers. fast (OCoLC)fst01154575
Langages de programmation -- Sémantique. ram
Langages formels. ram
Codegenerierung. swd
Transduktor <Automatentheorie> swd
Baumautomat. swd
Formale Sprache. swd
Kontextfreie Grammatik. swd
Syntaktische Analyse. swd
Electronic books
Alt Author Vogler, Heiko, 1957-
Record:   Prev Next