| Back: | ⟨a, b | abbaaaaab=ba⟩ |
|---|
Completion settings:
Axiom: abbaaaaab=ba.
Referenced by [4].
Axiom: baaaaa=c.
Axiom: ab=d.
Defines rule #28.
Referenced by [4], [6], [7], [10].
Overlap of [1] abbaaaaab=ba with [3] ab=d:
Critical pair: dbaaaaab=ba.
Reduce LHS:
| [2] | d(baaaaa)b |
| ⇒ dcb |
Flip LHS and RHS.
Defines rule #31.
Referenced by [5], [6], [7], [8].
Overlap of [2] baaaaa=c with [4] ba=dcb:
Critical pair: dcbaaaa=c.
Reduce LHS:
| [4] | dc(ba)aaa |
| [4] | ⇒ dcdc(ba)aa |
| [4] | ⇒ dcdcdc(ba)a |
| [4] | ⇒ dcdcdcdc(ba) |
| ⇒ dcdcdcdcdcb |
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] dcdcdcdcdcb=c with [4] ba=dcb:
Critical pair: dcdcdcdcdcdcb=ca.
Reduce LHS:
| [5] | dc(dcdcdcdcdcb) |
| ⇒ dcc |
Flip LHS and RHS.
Defines rule #29.
Referenced by [10].
Overlap of [5] dcdcdcdcdcb=c with [7] dcbb=bd:
Critical pair: dcdcdcdcbd=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] dcdcdcdcbd=cb with [5] dcdcdcdcdcb=c:
Critical pair: dcdcdcdcbc=cbcdcdcdcdcb.
Flip LHS and RHS.
Defines rule #7.
Referenced by [16], [17], [18], [29].
Overlap of [9] dcdcdcdcbd=cb with [7] dcbb=bd:
Critical pair: dcdcdcdcbbd=cbcbb.
Reduce LHS:
| [7] | dcdcdc(dcbb)d |
| ⇒ dcdcdcbdd |
Flip LHS and RHS.
Defines rule #23.
Overlap of [9] dcdcdcdcbd=cb with [9] dcdcdcdcbd=cb:
Critical pair: dcdcdcdcbcb=cbcdcdcdcbd.
Defines rule #14.
Referenced by [27].
Overlap of [9] dcdcdcdcbd=cb with [10] dccb=cd:
Critical pair: dcdcdcdcbcd=cbccb.
Flip LHS and RHS.
Defines rule #6.
Referenced by [18], [20], [32].
Overlap of [5] dcdcdcdcdcb=c with [12] cbcbb=dcdcdcbdd:
Critical pair: dcdcdcdcddcdcdcbdd=ccbb.
Flip LHS and RHS.
Defines rule #8.
Overlap of [5] dcdcdcdcdcb=c with [11] cbcdcdcdcdcb=dcdcdcdcbc:
Critical pair: dcdcdcdcddcdcdcdcbc=ccdcdcdcdcb.
Defines rule #5.
Referenced by [29], [30], [31].
Overlap of [11] cbcdcdcdcdcb=dcdcdcdcbc with [11] cbcdcdcdcdcb=dcdcdcdcbc:
Critical pair: cbcdcdcdcddcdcdcdcbc=dcdcdcdcbccdcdcdcdcb.
Flip LHS and RHS.
Defines rule #17.
Overlap of [11] cbcdcdcdcdcb=dcdcdcdcbc with [14] cbccb=dcdcdcdcbcd:
Critical pair: cbcdcdcdcddcdcdcdcbcd=dcdcdcdcbcccb.
Flip LHS and RHS.
Defines rule #16.
Overlap of [10] dccb=cd with [15] ccbb=dcdcdcdcddcdcdcbdd:
Critical pair: ddcdcdcdcddcdcdcbdd=cdb.
Defines rule #4.
Referenced by [21], [22], [23], [24], [25], [26], [31].
Overlap of [14] cbccb=dcdcdcdcbcd with [15] ccbb=dcdcdcdcddcdcdcbdd:
Critical pair: cbdcdcdcdcddcdcdcbdd=dcdcdcdcbcdb.
Flip LHS and RHS.
Defines rule #15.
Overlap of [19] ddcdcdcdcddcdcdcbdd=cdb with [5] dcdcdcdcdcb=c:
Critical pair: ddcdcdcdcddcdcdcbdc=cdbcdcdcdcdcb.
Flip LHS and RHS.
Defines rule #10.
Referenced by [32].
Overlap of [19] ddcdcdcdcddcdcdcbdd=cdb with [7] dcbb=bd:
Critical pair: ddcdcdcdcddcdcdcbdbd=cdbcbb.
Flip LHS and RHS.
Defines rule #25.
Overlap of [19] ddcdcdcdcddcdcdcbdd=cdb with [9] dcdcdcdcbd=cb:
Critical pair: ddcdcdcdcddcdcdcbdcb=cdbcdcdcdcbd.
Defines rule #19.
Referenced by [33].
Overlap of [19] ddcdcdcdcddcdcdcbdd=cdb with [10] dccb=cd:
Critical pair: ddcdcdcdcddcdcdcbdcd=cdbccb.
Flip LHS and RHS.
Defines rule #9.
Overlap of [19] ddcdcdcdcddcdcdcbdd=cdb with [19] ddcdcdcdcddcdcdcbdd=cdb:
Critical pair: ddcdcdcdcddcdcdcbcdb=cdbcdcdcdcddcdcdcbdd.
Defines rule #18.
Overlap of [19] ddcdcdcdcddcdcdcbdd=cdb with [19] ddcdcdcdcddcdcdcbdd=cdb:
Critical pair: ddcdcdcdcddcdcdcbdcdb=cdbdcdcdcdcddcdcdcbdd.
Defines rule #20.
Overlap of [13] dcdcdcdcbcb=cbcdcdcdcbd with [12] cbcbb=dcdcdcbdd:
Critical pair: dcdcdcddcdcdcbdd=cbcdcdcdcbdb.
Flip LHS and RHS.
Defines rule #24.
Overlap of [5] dcdcdcdcdcb=c with [27] cbcdcdcdcbdb=dcdcdcddcdcdcbdd:
Critical pair: dcdcdcdcddcdcdcddcdcdcbdd=ccdcdcdcbdb.
Flip LHS and RHS.
Defines rule #13.
Overlap of [16] dcdcdcdcddcdcdcdcbc=ccdcdcdcdcb with [11] cbcdcdcdcdcb=dcdcdcdcbc:
Critical pair: dcdcdcdcddcdcdcddcdcdcdcbc=ccdcdcdcdcbdcdcdcdcb.
Reduce RHS:
| [9] | cc(dcdcdcdcbd)cdcdcdcb |
| ⇒ cccbcdcdcdcb |
Flip LHS and RHS.
Defines rule #12.
Overlap of [16] dcdcdcdcddcdcdcdcbc=ccdcdcdcdcb with [27] cbcdcdcdcbdb=dcdcdcddcdcdcbdd:
Critical pair: dcdcdcdcddcdcdcddcdcdcddcdcdcbdd=ccdcdcdcdcbdcdcdcbdb.
Reduce RHS:
| [9] | cc(dcdcdcdcbd)cdcdcbdb |
| ⇒ cccbcdcdcbdb |
Flip LHS and RHS.
Defines rule #27.
Overlap of [19] ddcdcdcdcddcdcdcbdd=cdb with [16] dcdcdcdcddcdcdcdcbc=ccdcdcdcdcb:
Critical pair: ddcdcdcdcddcdcdcbdccdcdcdcdcb=cdbcdcdcdcddcdcdcdcbc.
Defines rule #22.
Overlap of [21] cdbcdcdcdcdcb=ddcdcdcdcddcdcdcbdc with [14] cbccb=dcdcdcdcbcd:
Critical pair: cdbcdcdcdcddcdcdcdcbcd=ddcdcdcdcddcdcdcbdcccb.
Flip LHS and RHS.
Defines rule #21.
Overlap of [23] ddcdcdcdcddcdcdcbdcb=cdbcdcdcdcbd with [7] dcbb=bd:
Critical pair: ddcdcdcdcddcdcdcbbd=cdbcdcdcdcbdb.
Reduce LHS:
| [7] | ddcdcdcdcddcdc(dcbb)d |
| ⇒ ddcdcdcdcddcdcbdd |
Flip LHS and RHS.
Defines rule #26.