WikiDer > Normalform

EIN Normalform für Ausdrücke in a mathematischer Formalismus ist eine bestimmte Form solcher Ausdrücke, so dass ein Konvertierungsverfahren bekannt ist, das beliebige Ausdrücke im Formalismus in . umwandelt Äquivalent Ausdrücke der jeweiligen Form. Ein solches Verfahren ist Normalisierung erwähnt.

Der Begriff wird in verschiedenen Zweigen der Mathematik verwendet, zum Beispiel in der Logik und der formale Sprachtheorie.

Logik

In der Aussagenlogik sind alle Vorschläge umgewandelt werden in:

• konjunktive Normalform
• disjunktive Normalform
• Pränex-Normalform

Formale Sprachtheorie

In der Theorie von formale Sprachen, angewendet im Linguistik und in der Informatik, beispielsweise:

• Chomsky-Normalform
• Greibach-Normalform
• Kuroda Normalform

Mathematik

In dem Lineare Algebra auftreten:

• Jordanische Normalform
• Frobenius Normalform

Informatik

Zu relationale Datenbanken zur Vereinfachung gibt es verschiedene Normalformen.