Difference between revisions of "Normal form (abstract rewriting)"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "In abstract rewriting, an object is in '''normal form''' if it cannot be rewritten any further. Depending on the rewriting system and the ob...") |
Karl Jones (Talk | contribs) (→See also) |
||
| Line 7: | Line 7: | ||
* [[Abstract rewriting system]] | * [[Abstract rewriting system]] | ||
* [[Expression (computer science)]] | * [[Expression (computer science)]] | ||
| + | * [[Newman's lemma]] | ||
* [[Object (computer science)]] | * [[Object (computer science)]] | ||
Revision as of 09:04, 17 December 2015
In abstract rewriting, an object is in normal form if it cannot be rewritten any further.
Depending on the rewriting system and the object, several normal forms may exist, or none at all.
See also
External links
- Normal form (abstract rewriting) @ Wikipedia
