Système De Réécriture De Termes (Term Rewriting System)

Ein formales System, das aus Termen besteht, die aus Funktionssymbolen und Variablen aufgebaut sind, zusammen mit einer Menge gerichteter Umformungsregeln der Form l → r, die Instanzen eines linken Musters l durch den entsprechenden rechten Term r ersetzen; Umformung erfolgt durch wiederholtes Matching und Ersetzen von Untertermen.

Ein formales System, das aus einer Menge gerichteter Umformungsregeln besteht, mit denen Terme durch musterbasierte Ersetzungen und Substitutionen in andere Terme transformiert werden.