| Back: | ⟨a, b, c | ab=a, bcccb=1⟩ |
|---|
Completion settings:
Axiom: ab=a.
Defines rule #2.
Axiom: bcccb=1.
Referenced by [4].
Axiom: ccc=d.
Defines rule #7.
Overlap of [2] bcccb=1 with [3] ccc=d:
Critical pair: bdb=1.
Referenced by [5], [6], [8], [12].
Overlap of [1] ab=a with [4] bdb=1:
Critical pair: a=adb.
Flip LHS and RHS.
Referenced by [7].
Overlap of [4] bdb=1 with [4] bdb=1:
Critical pair: bd=db.
Defines rule #3.
Overlap of [1] ab=a with [6] bd=db:
Critical pair: adb=ad.
Reduce LHS:
| [5] | (adb) |
| ⇒ a |
Flip LHS and RHS.
Defines rule #1.
Overlap of [4] bdb=1 with [6] bd=db:
Critical pair: dbb=1.
Defines rule #5.
Referenced by [10].
Overlap of [3] ccc=d with [3] ccc=d:
Critical pair: cd=dc.
Defines rule #4.
Referenced by [10].
Overlap of [9] cd=dc with [8] dbb=1:
Critical pair: c=dcbb.
Flip LHS and RHS.
Referenced by [11].
Overlap of [6] bd=db with [10] dcbb=c:
Critical pair: bc=dbcbb.
Flip LHS and RHS.
Referenced by [12].
Overlap of [4] bdb=1 with [11] dbcbb=bc:
Critical pair: bbc=cbb.
Flip LHS and RHS.
Defines rule #6.