Nächste Seite:
Idee
Aufwärts:
XML-Modelle und Programmierung Vorlesung,
Vorherige Seite:
Literatur
XML-Transformationen / Term-Ersetzungs-Systeme
Unterabschnitte
Idee
Variablen, Substitutionen
Positionen, Teilterme (Wiederholung)
Regeln
Regelsysteme
Beispiele
Wort- und Term-Ersetzung
Termination und Normalisierung
Aufgaben
Normalformen
Termersetzung/Anwendungen
Term-Ersetzung und Computeralgebra
Konfluenz
Lokale Konfluenz
Kritische Paare
Unifikation
Bestimmung des mgu
Orthogonale Systeme
Konstruktor-Systeme
XSLT
Ersetzungssysteme und Programmanalyse
Ersetzung und Automaten (Regularität)
Johannes Waldmann 2006-02-02