Certificate for #3634 ⟨a, b | aabbaabaab=b⟩

Back:⟨a, b | aabbaabaab=b⟩

Completion settings:

[1] aabbaabaab=b

Axiom: aabbaabaab=b.

Referenced by [3].

[2] aab=c

Axiom: aab=c.

Defines rule #2.

Referenced by [3].

[3] cbcc=b

Overlap of [1] aabbaabaab=b with [2] aab=c:

aabbaabaab aab

Critical pair: cbaabaab=b.

Reduce LHS:

[2]cb(aab)aab
[2]⇒ cbc(aab)
⇒ cbcc

Defines rule #1.

Referenced by [4], [5].

[4] cbcb=bbcc

Overlap of [3] cbcc=b with [3] cbcc=b:

cbc c cbcc

Critical pair: cbcb=bbcc.

Defines rule #4.

Referenced by [5].

[5] cbb=bbcccc

Overlap of [4] cbcb=bbcc with [3] cbcc=b:

cb cb cbcc

Critical pair: cbb=bbcccc.

Defines rule #3.