Nächste Seite:
Terme, Positionen
Aufwärts:
Symbolisches Rechnen Vorlesung Wintersemester
Vorherige Seite:
Multiplikationsketten
Terme, Ersetzungs-Systeme
Unterabschnitte
Terme, Positionen
Folgen
Term-Umformungen
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 2007-01-30
