##  [Starke Normalisierung](/de/node/60949) 

  ##  [Starke Normalisierung](https://mathlogic.quantumdictionary.io/de/node/60950) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

Die Eigenschaft eines Reduktionssystems (Umschreibungs- oder Berechnungskalküls), dass jede mögliche Reduktionsfolge von jedem Term aus endlich ist; mit anderen Worten besitzt kein Term eine unendliche absteigende Folge von Reduktionen, und jeder Term erreicht eine Normalform.