User: Guest  Login
Original title:
On Normalization and Type Checking for Tree Transducers 
Translated title:
Über Normalisierung und Typüberprüfung für Baumübersetzer 
Year:
2011 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Seidl, Helmut (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Tree Transducer, Myhill-Nerode Theorem, Normalization, Type Checking 
Translated keywords:
Baumübersetzer, Myhill-Nerode Theorem, Normalisierung, Typüberprüfung 
TUM classification:
DAT 554d ; MAT 056d 
Abstract:
Tree transducers are an expressive formalism for reasoning about data in a tree structure. Practical applications range from XSLT-like document transformations to translations of natural languages. Important problems for transducers are to decide whether two transducers are equivalent, to construct normal forms, give semantic characterizations, and type checking, i.e., to check whether the produced outputs satisfy given structural constraints. This thesis addresses these problems for important c...    »
 
Translated abstract:
Baumübersetzer sind ein ausdrucksstarker Formalismus um Daten, die in Baumstrukturen vorliegen, zu analysieren. Praktische Anwendungen reichen von XSLT-artigen Dokumentumstrukturierungen zu Übersetzungen natürlicher Sprache. Bedeutende Problemstellungen für Übersetzer sind zu entscheiden, ob zwei Übersetzer äquivalent sind, eine Normalform konstruiert werden kann, es eine semantische Charakterisierung gibt und Typüberprüfung, d.h., zu überprüfen, ob die erzeugten Ausgaben gegebene strukturelle B...    »
 
Controlled terms:
Transduktor ; Baum ; Typprüfung 
Last change:
28.02.2014