See Also
- Critical pair (logic)
- Knuth-Bendix completion algorithm
- L-systems specify rewriting that is done in parallel.
- Regulated rewriting
- Rho calculus
Read more about this topic: Reduction Systems
Famous quotes containing the word see:
“To see ourselves as others see us can be eye-opening. To see others as sharing a nature with ourselves is the merest decency. But it is from the far more difficult achievement of seeing ourselves amongst others, as a local example of the forms human life has locally taken, a case among cases, a world among worlds, that the largeness of mind, without which objectivity is self- congratulation and tolerance a sham, comes.”
—Clifford Geertz (b. 1926)