| Back: | ⟨a, b | aaab=aa, bbbbb=1⟩ |
|---|
Completion settings:
Axiom: aaab=aa.
Referenced by [3], [4], [5], [6], [7].
Axiom: bbbbb=1.
Defines rule #3.
Referenced by [3].
Overlap of [1] aaab=aa with [2] bbbbb=1:
Critical pair: aaa=aabbbb.
Flip LHS and RHS.
Referenced by [4].
Overlap of [1] aaab=aa with [3] aabbbb=aaa:
Critical pair: aaaa=aabbb.
Flip LHS and RHS.
Referenced by [5].
Overlap of [1] aaab=aa with [4] aabbb=aaaa:
Critical pair: aaaaa=aabb.
Flip LHS and RHS.
Referenced by [6].
Overlap of [1] aaab=aa with [5] aabb=aaaaa:
Critical pair: aaaaaa=aab.
Flip LHS and RHS.
Defines rule #2.
Referenced by [7].
Overlap of [1] aaab=aa with [6] aab=aaaaaa:
Critical pair: aaaaaaa=aa.
Defines rule #1.