Normal form (abstract rewriting)
Expression that cannot be rewritten further / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Normalization property (lambda-calculus)?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
In abstract rewriting,[1] an object is in normal form if it cannot be rewritten any further, i.e. it is irreducible. Depending on the rewriting system, an object may rewrite to several normal forms or none at all. Many properties of rewriting systems relate to normal forms.