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.) 
Gutachter:
Schulz, Klaus U. (Prof. Dr.); 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, Normalisierung, Typüberprüfung 
Kurzfassung:
Tree transducers are an expressive formalism for reasoning about tree-structured data. Practical applications range from XSLT-like document transformations to translations of natural languages. We show that for every deterministic bottom-up tree transducer, a unique equivalent minimal transducer can be constructed - in polynomial time if every state of the transducer produces either none or infinitely many outputs. Using forward type inference it is shown that type checking of tree walking t...    »
 
Übersetzte Kurzfassung:
Baumübersetzer sind ein ausdrucksstarker Formalismus zur Analyse strukturierter Daten. Praktische Anwendungen reichen von XSLT-artigen Übersetzungen zu Übersetzungen natürlicher Sprache. Wir zeigen, dass für jeden deterministischen Aufwärts-Baumübersetzer ein eindeutiger äquivalenter minimaler Übersetzer konstruiert werden kann - in polynomieller Zeit, wenn jeder Zustand des Übersetzers entweder keine oder unendlich viele Ausgaben produziert. Zudem zeigen wir, dass man Typüberprüfung von Zwe...    »
 
Mündliche Prüfung:
27.07.2011 
Dateigröße:
3219126 bytes 
Seiten:
219 
Letzte Änderung:
29.08.2011