See also
Church-Rosser Property, Confluent, Critical Pair, Finitely Terminating, Formal Language, Knuth-Bendix Completion Algorithm, Lambda Calculus, Multiway System, Reduction Order, Reduction System, String Rewriting System
This entry contributed by Alex Sakharov (author's link)
Explore with Wolfram|Alpha
References
Baader, F. and Nipkow, T. Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999.
Referenced on Wolfram|Alpha
Cite this as:
Sakharov, Alex. "Term Rewriting System." From MathWorld--A Wolfram Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/TermRewritingSystem.html