| Back: | ⟨a, b, c | aab=b, caac=1⟩ |
|---|
Completion settings:
Axiom: aab=b.
Defines rule #6.
Referenced by [10].
Axiom: caac=1.
Referenced by [5], [6], [7], [8], [9].
Axiom: cc=d.
Defines rule #1.
Overlap of [3] cc=d with [3] cc=d:
Critical pair: cd=dc.
Flip LHS and RHS.
Defines rule #2.
Referenced by [7].
Overlap of [2] caac=1 with [2] caac=1:
Critical pair: caa=aac.
Flip LHS and RHS.
Defines rule #5.
Referenced by [7].
Overlap of [2] caac=1 with [3] cc=d:
Critical pair: caad=c.
Referenced by [8].
Overlap of [3] cc=d with [2] caac=1:
Critical pair: c=daac.
Reduce RHS:
| [5] | d(aac) |
| [4] | ⇒ (dc)aa |
| ⇒ cdaa |
Flip LHS and RHS.
Referenced by [9].
Overlap of [2] caac=1 with [6] caad=c:
Critical pair: caac=aad.
Reduce LHS:
| [2] | (caac) |
| ⇒ 1 |
Flip LHS and RHS.
Defines rule #7.
Referenced by [11].
Overlap of [2] caac=1 with [7] cdaa=c:
Critical pair: caac=daa.
Reduce LHS:
| [2] | (caac) |
| ⇒ 1 |
Flip LHS and RHS.
Overlap of [9] daa=1 with [1] aab=b:
Critical pair: db=b.
Defines rule #4.
Overlap of [9] daa=1 with [8] aad=1:
Critical pair: da=ad.
Defines rule #3.