Some of the things I've learned every day since Oct 10, 2016
111: Terminating Abstract Rewriting Systems
July 12, 2017Posted by on
A terminating abstract rewriting system is one in which, given any starting element or term, there is no infinite sequence of rewritings which can be done on that starting element. That is, any sequence of rewritings on an element will eventually end in a ‘final’ rewritten form. Terminating ARSs are a subset of normal ARSs.