Difference between revisions of "Normal form (abstract rewriting)"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (→See also) |
Karl Jones (Talk | contribs) (→See also) |
||
| Line 6: | Line 6: | ||
* [[Abstract rewriting system]] | * [[Abstract rewriting system]] | ||
| + | * [[Computer science]] | ||
* [[Expression (computer science)]] | * [[Expression (computer science)]] | ||
* [[Newman's lemma]] | * [[Newman's lemma]] | ||
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
- Abstract rewriting system
- Computer science
- Expression (computer science)
- Newman's lemma
- Object (computer science)
External links
- Normal form (abstract rewriting) @ Wikipedia
