| Back: | ⟨a, b | abbaaaab=ba⟩ |
|---|
Completion settings:
Axiom: abbaaaab=ba.
Referenced by [4].
Axiom: baaaa=c.
Axiom: ab=d.
Defines rule #28.
Referenced by [4], [6], [7], [10].
Overlap of [1] abbaaaab=ba with [3] ab=d:
Critical pair: dbaaaab=ba.
Reduce LHS:
| [2] | d(baaaa)b |
| ⇒ dcb |
Flip LHS and RHS.
Defines rule #31.
Referenced by [5], [6], [7], [8].
Overlap of [2] baaaa=c with [4] ba=dcb:
Critical pair: dcbaaa=c.
Reduce LHS:
| [4] | dc(ba)aa |
| [4] | ⇒ dcdc(ba)a |
| [4] | ⇒ dcdcdc(ba) |
| ⇒ dcdcdcdcb |
Defines rule #3.
Referenced by [8], [9], [11], [15], [16], [21], [28].
Overlap of [3] ab=d with [4] ba=dcb:
Critical pair: adcb=da.
Flip LHS and RHS.
Defines rule #30.
Overlap of [4] ba=dcb with [3] ab=d:
Critical pair: bd=dcbb.
Flip LHS and RHS.
Defines rule #11.
Referenced by [9], [12], [22], [33].
Overlap of [5] dcdcdcdcb=c with [4] ba=dcb:
Critical pair: dcdcdcdcdcb=ca.
Reduce LHS:
| [5] | dc(dcdcdcdcb) |
| ⇒ dcc |
Flip LHS and RHS.
Defines rule #29.
Referenced by [10].
Overlap of [5] dcdcdcdcb=c with [7] dcbb=bd:
Critical pair: dcdcdcbd=cb.
Defines rule #2.
Referenced by [11], [12], [13], [14], [23], [29], [30].
Overlap of [8] ca=dcc with [3] ab=d:
Critical pair: cd=dccb.
Flip LHS and RHS.
Defines rule #1.
Referenced by [14], [19], [24].
Overlap of [9] dcdcdcbd=cb with [5] dcdcdcdcb=c:
Critical pair: dcdcdcbc=cbcdcdcdcb.
Flip LHS and RHS.
Defines rule #7.
Referenced by [16], [17], [18], [29].
Overlap of [9] dcdcdcbd=cb with [7] dcbb=bd:
Critical pair: dcdcdcbbd=cbcbb.
Reduce LHS:
| [7] | dcdc(dcbb)d |
| ⇒ dcdcbdd |
Flip LHS and RHS.
Defines rule #23.
Overlap of [9] dcdcdcbd=cb with [9] dcdcdcbd=cb:
Critical pair: dcdcdcbcb=cbcdcdcbd.
Defines rule #14.
Referenced by [27].
Overlap of [9] dcdcdcbd=cb with [10] dccb=cd:
Critical pair: dcdcdcbcd=cbccb.
Flip LHS and RHS.
Defines rule #6.
Referenced by [18], [20], [32].
Overlap of [5] dcdcdcdcb=c with [12] cbcbb=dcdcbdd:
Critical pair: dcdcdcddcdcbdd=ccbb.
Flip LHS and RHS.
Defines rule #8.
Overlap of [5] dcdcdcdcb=c with [11] cbcdcdcdcb=dcdcdcbc:
Critical pair: dcdcdcddcdcdcbc=ccdcdcdcb.
Defines rule #5.
Referenced by [29], [30], [31].
Overlap of [11] cbcdcdcdcb=dcdcdcbc with [11] cbcdcdcdcb=dcdcdcbc:
Critical pair: cbcdcdcddcdcdcbc=dcdcdcbccdcdcdcb.
Flip LHS and RHS.
Defines rule #17.
Overlap of [11] cbcdcdcdcb=dcdcdcbc with [14] cbccb=dcdcdcbcd:
Critical pair: cbcdcdcddcdcdcbcd=dcdcdcbcccb.
Flip LHS and RHS.
Defines rule #16.
Overlap of [10] dccb=cd with [15] ccbb=dcdcdcddcdcbdd:
Critical pair: ddcdcdcddcdcbdd=cdb.
Defines rule #4.
Referenced by [21], [22], [23], [24], [25], [26], [31].
Overlap of [14] cbccb=dcdcdcbcd with [15] ccbb=dcdcdcddcdcbdd:
Critical pair: cbdcdcdcddcdcbdd=dcdcdcbcdb.
Flip LHS and RHS.
Defines rule #15.
Overlap of [19] ddcdcdcddcdcbdd=cdb with [5] dcdcdcdcb=c:
Critical pair: ddcdcdcddcdcbdc=cdbcdcdcdcb.
Flip LHS and RHS.
Defines rule #10.
Referenced by [32].
Overlap of [19] ddcdcdcddcdcbdd=cdb with [7] dcbb=bd:
Critical pair: ddcdcdcddcdcbdbd=cdbcbb.
Flip LHS and RHS.
Defines rule #25.
Overlap of [19] ddcdcdcddcdcbdd=cdb with [9] dcdcdcbd=cb:
Critical pair: ddcdcdcddcdcbdcb=cdbcdcdcbd.
Defines rule #19.
Referenced by [33].
Overlap of [19] ddcdcdcddcdcbdd=cdb with [10] dccb=cd:
Critical pair: ddcdcdcddcdcbdcd=cdbccb.
Flip LHS and RHS.
Defines rule #9.
Overlap of [19] ddcdcdcddcdcbdd=cdb with [19] ddcdcdcddcdcbdd=cdb:
Critical pair: ddcdcdcddcdcbcdb=cdbcdcdcddcdcbdd.
Defines rule #18.
Overlap of [19] ddcdcdcddcdcbdd=cdb with [19] ddcdcdcddcdcbdd=cdb:
Critical pair: ddcdcdcddcdcbdcdb=cdbdcdcdcddcdcbdd.
Defines rule #20.
Overlap of [13] dcdcdcbcb=cbcdcdcbd with [12] cbcbb=dcdcbdd:
Critical pair: dcdcddcdcbdd=cbcdcdcbdb.
Flip LHS and RHS.
Defines rule #24.
Overlap of [5] dcdcdcdcb=c with [27] cbcdcdcbdb=dcdcddcdcbdd:
Critical pair: dcdcdcddcdcddcdcbdd=ccdcdcbdb.
Flip LHS and RHS.
Defines rule #13.
Overlap of [16] dcdcdcddcdcdcbc=ccdcdcdcb with [11] cbcdcdcdcb=dcdcdcbc:
Critical pair: dcdcdcddcdcddcdcdcbc=ccdcdcdcbdcdcdcb.
Reduce RHS:
| [9] | cc(dcdcdcbd)cdcdcb |
| ⇒ cccbcdcdcb |
Flip LHS and RHS.
Defines rule #12.
Overlap of [16] dcdcdcddcdcdcbc=ccdcdcdcb with [27] cbcdcdcbdb=dcdcddcdcbdd:
Critical pair: dcdcdcddcdcddcdcddcdcbdd=ccdcdcdcbdcdcbdb.
Reduce RHS:
| [9] | cc(dcdcdcbd)cdcbdb |
| ⇒ cccbcdcbdb |
Flip LHS and RHS.
Defines rule #27.
Overlap of [19] ddcdcdcddcdcbdd=cdb with [16] dcdcdcddcdcdcbc=ccdcdcdcb:
Critical pair: ddcdcdcddcdcbdccdcdcdcb=cdbcdcdcddcdcdcbc.
Defines rule #22.
Overlap of [21] cdbcdcdcdcb=ddcdcdcddcdcbdc with [14] cbccb=dcdcdcbcd:
Critical pair: cdbcdcdcddcdcdcbcd=ddcdcdcddcdcbdcccb.
Flip LHS and RHS.
Defines rule #21.
Overlap of [23] ddcdcdcddcdcbdcb=cdbcdcdcbd with [7] dcbb=bd:
Critical pair: ddcdcdcddcdcbbd=cdbcdcdcbdb.
Reduce LHS:
| [7] | ddcdcdcddc(dcbb)d |
| ⇒ ddcdcdcddcbdd |
Flip LHS and RHS.
Defines rule #26.