Normalisierung Durch Auswertung (NbE)

Eine Technik zur Berechnung der Normalform eines Terms, indem der Term in einem geeigneten semantischen Modell interpretiert (Auswertung) und dann der semantische Wert wieder in eine syntaktische Normalform reifiziert beziehungsweise zurückgelesen wird.