Information about Normal Form

Generally, in mathematics, a canonical form (often called normal form) of an object is a standard presentation.

Canonical form can also mean a differential form that is defined in a natural (canonical) way; see below.
..... Click the link for more information.

In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta-eta normal form if neither a beta reduction nor an eta reduction is possible.
..... Click the link for more information.

In computer science, a formal grammar is in Chomsky normal form if and only if all production rules are of the form:

A → BC or

A → α or

S → e

where
..... Click the link for more information.

In computer science, to say that a context-free grammar is in Greibach normal form (GNF) means that all production rules are of the form:

or

where A is a nonterminal symbol, α is a terminal symbol, X
..... Click the link for more information.

In computer science, a formal grammar is in Kuroda normal form iff all production rules are of the form:

AB → CD or

A → BC or

A → B or

A → α

..... Click the link for more information.

In considering rewriting systems, a normal form is an element of the system which cannot be rewritten any further.

Consider the basic term rewriting system with reduction rule ρ : g(x, y) → x.
..... Click the link for more information.

Broadly, normalization (also spelled normalisation) is any process that makes something more normal, which typically means conforming to some regularity or rule, or returning from some state of abnormality.
..... Click the link for more information.

In mathematical logic and theoretical computer science, a rewrite system has the normalization property if every term is strongly normalizing; that is, if every sequence of rewrites eventually terminates to a term in normal form.
..... Click the link for more information.

In music, musical set theory provides concepts for categorizing musical objects and describing their relationships. Many of the notions were first elaborated by Howard Hanson in connection with tonal music, and then mostly developed in connection with atonal music; the concepts of
..... Click the link for more information.