| Back: | ⟨a, b | abbbaaab=ba⟩ |
|---|
Completion settings:
Axiom: abbbaaab=ba.
Referenced by [4].
Axiom: baaa=c.
Axiom: abb=d.
Defines rule #24.
Overlap of [1] abbbaaab=ba with [3] abb=d:
Critical pair: dbaaab=ba.
Reduce LHS:
| [2] | d(baaa)b |
| ⇒ dcb |
Flip LHS and RHS.
Defines rule #27.
Referenced by [5], [6], [7], [8].
Overlap of [2] baaa=c with [4] ba=dcb:
Critical pair: dcbaa=c.
Reduce LHS:
| [4] | dc(ba)a |
| [4] | ⇒ dcdc(ba) |
| ⇒ dcdcdcb |
Defines rule #1.
Referenced by [8], [9], [10], [11], [13], [18], [20], [22], [29].
Overlap of [3] abb=d with [4] ba=dcb:
Critical pair: abdcb=da.
Flip LHS and RHS.
Defines rule #26.
Overlap of [4] ba=dcb with [3] abb=d:
Critical pair: bd=dcbbb.
Flip LHS and RHS.
Overlap of [5] dcdcdcb=c with [4] ba=dcb:
Critical pair: dcdcdcdcb=ca.
Reduce LHS:
| [5] | dc(dcdcdcb) |
| ⇒ dcc |
Flip LHS and RHS.
Defines rule #25.
Overlap of [5] dcdcdcb=c with [7] dcbbb=bd:
Critical pair: dcdcbd=cbb.
Flip LHS and RHS.
Defines rule #5.
Referenced by [10], [16], [17], [25].
Overlap of [5] dcdcdcb=c with [9] cbb=dcdcbd:
Critical pair: dcdcddcdcbd=cb.
Defines rule #2.
Referenced by [11], [12], [17], [19], [23].
Overlap of [10] dcdcddcdcbd=cb with [5] dcdcdcb=c:
Critical pair: dcdcddcdcbc=cbcdcdcb.
Flip LHS and RHS.
Defines rule #6.
Referenced by [13], [14], [15], [21].
Overlap of [10] dcdcddcdcbd=cb with [10] dcdcddcdcbd=cb:
Critical pair: dcdcddcdcbcb=cbcdcddcdcbd.
Defines rule #12.
Overlap of [5] dcdcdcb=c with [11] cbcdcdcb=dcdcddcdcbc:
Critical pair: dcdcddcdcddcdcbc=ccdcdcb.
Defines rule #3.
Referenced by [15], [24], [30].
Overlap of [11] cbcdcdcb=dcdcddcdcbc with [11] cbcdcdcb=dcdcddcdcbc:
Critical pair: cbcdcddcdcddcdcbc=dcdcddcdcbccdcdcb.
Flip LHS and RHS.
Defines rule #14.
Overlap of [13] dcdcddcdcddcdcbc=ccdcdcb with [11] cbcdcdcb=dcdcddcdcbc:
Critical pair: dcdcddcdcddcddcdcddcdcbc=ccdcdcbdcdcb.
Flip LHS and RHS.
Defines rule #11.
Overlap of [7] dcbbb=bd with [9] cbb=dcdcbd:
Critical pair: ddcdcbdb=bd.
Defines rule #10.
Referenced by [17], [25], [26].
Overlap of [10] dcdcddcdcbd=cb with [16] ddcdcbdb=bd:
Critical pair: dcdcddcdcbbd=cbdcdcbdb.
Reduce LHS:
| [9] | dcdcddcd(cbb)d |
| ⇒ dcdcddcddcdcbdd |
Flip LHS and RHS.
Defines rule #20.
Overlap of [5] dcdcdcb=c with [17] cbdcdcbdb=dcdcddcddcdcbdd:
Critical pair: dcdcddcdcddcddcdcbdd=cdcdcbdb.
Flip LHS and RHS.
Defines rule #9.
Overlap of [10] dcdcddcdcbd=cb with [17] cbdcdcbdb=dcdcddcddcdcbdd:
Critical pair: dcdcddcddcdcddcddcdcbdd=cbcdcbdb.
Flip LHS and RHS.
Defines rule #19.
Overlap of [5] dcdcdcb=c with [18] cdcdcbdb=dcdcddcdcddcddcdcbdd:
Critical pair: ddcdcddcdcddcddcdcbdd=cdb.
Defines rule #4.
Referenced by [22], [23], [24], [25], [26], [27], [28].
Overlap of [11] cbcdcdcb=dcdcddcdcbc with [18] cdcdcbdb=dcdcddcdcddcddcdcbdd:
Critical pair: cbdcdcddcdcddcddcdcbdd=dcdcddcdcbcdb.
Flip LHS and RHS.
Defines rule #13.
Overlap of [20] ddcdcddcdcddcddcdcbdd=cdb with [5] dcdcdcb=c:
Critical pair: ddcdcddcdcddcddcdcbdc=cdbcdcdcb.
Flip LHS and RHS.
Defines rule #7.
Overlap of [20] ddcdcddcdcddcddcdcbdd=cdb with [10] dcdcddcdcbd=cb:
Critical pair: ddcdcddcdcddcddcdcbdcb=cdbcdcddcdcbd.
Defines rule #16.
Overlap of [20] ddcdcddcdcddcddcdcbdd=cdb with [13] dcdcddcdcddcdcbc=ccdcdcb:
Critical pair: ddcdcddcdcddcddcdcbdccdcdcb=cdbcdcddcdcddcdcbc.
Defines rule #18.
Overlap of [20] ddcdcddcdcddcddcdcbdd=cdb with [16] ddcdcbdb=bd:
Critical pair: ddcdcddcdcddcddcdcbbd=cdbcdcbdb.
Reduce LHS:
| [9] | ddcdcddcdcddcddcd(cbb)d |
| ⇒ ddcdcddcdcddcddcddcdcbdd |
Flip LHS and RHS.
Defines rule #21.
Overlap of [20] ddcdcddcdcddcddcdcbdd=cdb with [16] ddcdcbdb=bd:
Critical pair: ddcdcddcdcddcddcdcbdbd=cdbdcdcbdb.
Reduce LHS:
| [16] | ddcdcddcdcddc(ddcdcbdb)d |
| ⇒ ddcdcddcdcddcbdd |
Flip LHS and RHS.
Defines rule #22.
Overlap of [20] ddcdcddcdcddcddcdcbdd=cdb with [20] ddcdcddcdcddcddcdcbdd=cdb:
Critical pair: ddcdcddcdcddcddcdcbcdb=cdbcdcddcdcddcddcdcbdd.
Defines rule #15.
Overlap of [20] ddcdcddcdcddcddcdcbdd=cdb with [20] ddcdcddcdcddcddcdcbdd=cdb:
Critical pair: ddcdcddcdcddcddcdcbdcdb=cdbdcdcddcdcddcddcdcbdd.
Defines rule #17.
Overlap of [5] dcdcdcb=c with [19] cbcdcbdb=dcdcddcddcdcddcddcdcbdd:
Critical pair: dcdcddcdcddcddcdcddcddcdcbdd=ccdcbdb.
Flip LHS and RHS.
Defines rule #8.
Overlap of [13] dcdcddcdcddcdcbc=ccdcdcb with [19] cbcdcbdb=dcdcddcddcdcddcddcdcbdd:
Critical pair: dcdcddcdcddcddcdcddcddcdcddcddcdcbdd=ccdcdcbdcbdb.
Flip LHS and RHS.
Defines rule #23.