where the starred arrows represent
respectively ( are non-negative integers). The case (or ) means (or ).
then it can be “completed” into a “diamond”:
Remark. A more general property than confluence, called semi-confluence is defined as follows: is semi-confluent if for any triple such that and , then are joinable. It turns out that this seemingly weaker notion is actually equivalent to the stronger notion of confluence. In addition, it can be shown that is confluent iff has the Church-Rosser property.
- 1 F. Baader, T. Nipkow, Term Rewriting and All That, Cambridge University Press (1998).
|Date of creation||2013-03-22 17:47:24|
|Last modified on||2013-03-22 17:47:24|
|Last modified by||CWoo (3771)|