Certificate for #6364 ⟨a, b | aab=a, babbb=a⟩

Back:⟨a, b | aab=a, babbb=a⟩

Completion settings:

[1] aab=a

Axiom: aab=a.

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

[2] babbb=a

Axiom: babbb=a.

Referenced by [3], [6].

[3] aaa=abb

Overlap of [1] aab=a with [2] babbb=a:

aa b babbb

Critical pair: aaa=aabbb.

Reduce RHS:

[1](aab)bb
⇒ abb

Referenced by [4].

[4] aa=abbb

Overlap of [3] aaa=abb with [1] aab=a:

a aa aab

Critical pair: aa=abbb.

Defines rule #3.

Referenced by [5].

[5] abbbb=a

Overlap of [1] aab=a with [4] aa=abbb:

aab aa

Critical pair: abbbb=a.

Defines rule #1.

Referenced by [6].

[6] ba=ab

Overlap of [2] babbb=a with [5] abbbb=a:

b abbb abbbb

Critical pair: ba=ab.

Defines rule #2.