| Back: | ⟨a, b | aabbbbaba=ab⟩ |
|---|
Completion settings:
Axiom: aabbbbaba=ab.
Referenced by [3].
Axiom: abbbb=c.
Defines rule #12.
Referenced by [3], [4], [10], [11], [12], [13], [16].
Overlap of [1] aabbbbaba=ab with [2] abbbb=c:
Critical pair: acaba=ab.
Defines rule #1.
Referenced by [4], [5], [6], [7], [11].
Overlap of [3] acaba=ab with [2] abbbb=c:
Critical pair: acabc=abbbbb.
Reduce RHS:
| [2] | (abbbb)b |
| ⇒ cb |
Defines rule #2.
Referenced by [6], [8], [9], [11], [14], [15], [17].
Overlap of [3] acaba=ab with [3] acaba=ab:
Critical pair: acabab=abcaba.
Reduce LHS:
| [3] | (acaba)b |
| ⇒ abb |
Flip LHS and RHS.
Defines rule #4.
Referenced by [7], [8], [9], [10], [12].
Overlap of [3] acaba=ab with [4] acabc=cb:
Critical pair: acabcb=abcabc.
Reduce LHS:
| [4] | (acabc)b |
| ⇒ cbb |
Defines rule #5.
Referenced by [13].
Overlap of [3] acaba=ab with [5] abcaba=abb:
Critical pair: acababb=abbcaba.
Reduce LHS:
| [3] | (acaba)bb |
| ⇒ abbb |
Flip LHS and RHS.
Defines rule #9.
Overlap of [4] acabc=cb with [5] abcaba=abb:
Critical pair: acabb=cbaba.
Defines rule #7.
Referenced by [16].
Overlap of [5] abcaba=abb with [4] acabc=cb:
Critical pair: abcabcb=abbcabc.
Defines rule #10.
Referenced by [13].
Overlap of [5] abcaba=abb with [5] abcaba=abb:
Critical pair: abcababb=abbbcaba.
Reduce LHS:
| [5] | (abcaba)bb |
| [2] | ⇒ (abbbb) |
| ⇒ c |
Flip LHS and RHS.
Defines rule #13.
Referenced by [11], [12], [13], [14].
Overlap of [3] acaba=ab with [10] abbbcaba=c:
Critical pair: acabc=abbbbcaba.
Reduce LHS:
| [4] | (acabc) |
| ⇒ cb |
Reduce RHS:
| [2] | (abbbb)caba |
| ⇒ ccaba |
Flip LHS and RHS.
Defines rule #3.
Referenced by [15].
Overlap of [5] abcaba=abb with [10] abbbcaba=c:
Critical pair: abcabc=abbbbbcaba.
Reduce RHS:
| [2] | (abbbb)bcaba |
| ⇒ cbcaba |
Flip LHS and RHS.
Defines rule #6.
Referenced by [17].
Overlap of [10] abbbcaba=c with [2] abbbb=c:
Critical pair: abbbcabc=cbbbb.
Reduce RHS:
| [6] | (cbb)bb |
| [9] | ⇒ (abcabcb)b |
| ⇒ abbcabcb |
Flip LHS and RHS.
Defines rule #14.
Overlap of [10] abbbcaba=c with [4] acabc=cb:
Critical pair: abbbcabcb=ccabc.
Defines rule #16.
Overlap of [11] ccaba=cb with [4] acabc=cb:
Critical pair: ccabcb=cbcabc.
Defines rule #8.
Overlap of [8] acabb=cbaba with [2] abbbb=c:
Critical pair: acc=cbababb.
Flip LHS and RHS.
Defines rule #15.
Overlap of [12] cbcaba=abcabc with [4] acabc=cb:
Critical pair: cbcabcb=abcabccabc.
Defines rule #11.