Certificate for #19265 ⟨a, b | aaa=a, abaab=bb⟩

Back:⟨a, b | aaa=a, abaab=bb⟩

Completion settings:

[1] aaa=a

Axiom: aaa=a.

Defines rule #1.

Referenced by [3].

[2] abaab=bb

Axiom: abaab=bb.

Defines rule #5.

Referenced by [3], [4], [5].

[3] aabb=bb

Overlap of [1] aaa=a with [2] abaab=bb:

aa a abaab

Critical pair: aabb=abaab.

Reduce RHS:

[2](abaab)
⇒ bb

Defines rule #3.

Referenced by [5].

[4] ababb=bbaab

Overlap of [2] abaab=bb with [2] abaab=bb:

aba ab abaab

Critical pair: ababb=bbaab.

Defines rule #4.

[5] abbb=bbb

Overlap of [2] abaab=bb with [3] aabb=bb:

ab aab aabb

Critical pair: abbb=bbb.

Defines rule #2.