Nächste Seite:
Wiederholung: Terme
Aufwärts:
Deklarative (= fortgeschrittene) Programmierung
Vorherige Seite:
Übungen
Daten
Unterabschnitte
Wiederholung: Terme
Beispiele: Signatur, Terme
Algebraische Datentypen
Datentyp mit mehreren Konstruktoren
Rekursive Datentypen
Bezeichnungen für Teilterme
Operationen mit (Teil)Termen
Operationen mit Variablen in Termen
Termersetzungssysteme
Termersetzungssysteme als Programme
Konstruktor-Systeme
Übung Terme, TRS
Johannes Waldmann 2014-07-10