| Back: | ⟨a, b | aaab=a, bbbbbb=1⟩ |
|---|
Completion settings:
Axiom: aaab=a.
Referenced by [3], [4], [5], [6], [7], [8].
Axiom: bbbbbb=1.
Defines rule #3.
Referenced by [3].
Overlap of [1] aaab=a with [2] bbbbbb=1:
Critical pair: aaa=abbbbb.
Flip LHS and RHS.
Referenced by [4].
Overlap of [1] aaab=a with [3] abbbbb=aaa:
Critical pair: aaaaa=abbbb.
Flip LHS and RHS.
Referenced by [5].
Overlap of [1] aaab=a with [4] abbbb=aaaaa:
Critical pair: aaaaaaa=abbb.
Flip LHS and RHS.
Referenced by [6].
Overlap of [1] aaab=a with [5] abbb=aaaaaaa:
Critical pair: aaaaaaaaa=abb.
Flip LHS and RHS.
Referenced by [7].
Overlap of [1] aaab=a with [6] abb=aaaaaaaaa:
Critical pair: aaaaaaaaaaa=ab.
Flip LHS and RHS.
Defines rule #2.
Referenced by [8].
Overlap of [1] aaab=a with [7] ab=aaaaaaaaaaa:
Critical pair: aaaaaaaaaaaaa=a.
Defines rule #1.