In mathematical logic and theoretical computer science, a rewrite system has the strong normalization property (in short: the normalization property) if every term is strongly normalizing; that is, if every sequence of rewrites eventually terminates to a term in normal form. A rewrite system may also have the weak normalization property, meaning that for every term, there exists at least one particular sequence of rewrites that eventually yields a normal form.
Famous quotes containing the word property:
“It is clearly better that property should be private, but the use of it common; and the special business of the legislator is to create in men this benevolent disposition.”
—Aristotle (384–322 B.C.)