KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Syntax-Directed Semantics
  • Produktbild: Syntax-Directed Semantics

Syntax-Directed Semantics Formal Models Based on Tree Transducers

Aus der Reihe Monographs in Theoretical Computer Science. An EATCS Series

99,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.12.2011

Abbildungen

X, 269 p.

Verlag

Springer Berlin

Seitenzahl

269

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

441 g

Auflage

Softcover reprint of the original 1st ed. 1998

Sprache

Englisch

ISBN

978-3-642-72250-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.12.2011

Abbildungen

X, 269 p.

Verlag

Springer Berlin

Seitenzahl

269

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

441 g

Auflage

Softcover reprint of the original 1st ed. 1998

Sprache

Englisch

ISBN

978-3-642-72250-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Syntax-Directed Semantics
  • Produktbild: Syntax-Directed Semantics
  • 1. Introduction.- 1.1 Syntax-Directed Semantics.- 1.2 Tree Transducers.- 1.3 Theory of Compositions of Classes of Tree Transformations.- 1.4 Other Formal Models.- 1.5 Outline of the Book.- 1.6 Bibliographic Notes.- 2. Basic Notions and Notations.- 2.1 Sets and Relations.- 2.2 Partial Orders.- 2.3 Directed Graphs.- 2.4 Derivation Systems.- 2.5 Semigroups, Strings and Languages.- 2.6 String Rewrite Systems.- 2.7 Grammars.- 2.8 Notions on Trees.- 3. Top-Down Tree Transducers.- 3.1 Basic Definitions.- 3.2 Induced Tree Transformation.- 3.3 Characterization of Top-Down Tree Transformations.- 3.4 Height Property.- 3.5 Subclasses of TOP.- 3.6 Composition and Decomposition Results.- 3.7 Composition Semigroup Generated by TOP, l-TOP, and HOM.- 3.8 Bibliographic Notes.- 4. Macro Tree Transducers.- 4.1 Basic Definitions.- 4.2 Induced Tree Transformation.- 4.3 Characterization of Macro Tree Transformations.- 4.4 Height Property.- 4.5 Composition and Decomposition Results.- 4.6 Bibliographic Notes.- 5. Attributed Tree Transducers.- 5.1 Basic Definitions.- 5.2 Induced Tree Transformation.- 5.3 Characterization of Attributed Tree Transformations.- 5.4 Height and Subtree Properties.- 5.5 Composition and Decomposition Results.- 5.6 Bibliographic Notes.- 6. Comparison of Induced Tree Transformation Classes.- 6.1 Comparison of M AC and ATT.- 6.2 Inclusion Diagram Based on TOP, YIELD, ATT, and M AC.- 6.3 Composition Semigroup Generated by TOP, ATT, and MAC.- 6.4 Bibliographic Notes.- 7. Macro Attributed Tree Transducers.- 7.1 Basic Definitions.- 7.2 Induced Tree Transformation.- 7.3 Characterization of Macro Attributed Tree Transformations.- 7.4 Composition and Decomposition Results.- 7.5 Height Property.- 7.6 Bibliographic Notes.- 8. Two Examples.- 8.1 The Specification Language.- 8.2 Contextual Analysis.- 8.3 Insertion into 2–3 Trees.- 8.4 Bibliographic Notes.