Benutzer: Gast  Login
Originaltitel:
On Normalization and Type Checking for Tree Transducers 
Übersetzter Titel:
Über Normalisierung und Typüberprüfung für Baumübersetzer 
Jahr:
2011 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Seidl, Helmut (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
Tree Transducer, Myhill-Nerode Theorem, Normalization, Type Checking 
Übersetzte Stichworte:
Baumübersetzer, Myhill-Nerode Theorem, Normalisierung, Typüberprüfung 
TU-Systematik:
DAT 554d ; MAT 056d 
Kurzfassung:
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...    »
 
Übersetzte Kurzfassung:
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...    »
 
Schlagworte:
Transduktor ; Baum ; Typprüfung 
Letzte Änderung:
28.02.2014