Certificate for #20148 ⟨a, b | aab=b, bbaa=baa⟩

Back:⟨a, b | aab=b, bbaa=baa⟩

Completion settings:

[1] aab=b

Axiom: aab=b.

Defines rule #1.

Referenced by [3], [4].

[2] bbaa=baa

Axiom: bbaa=baa.

Defines rule #3.

Referenced by [3], [4].

[3] bbb=bb

Overlap of [2] bbaa=baa with [1] aab=b:

bb aa aab

Critical pair: bbb=baab.

Reduce RHS:

[1]b(aab)
⇒ bb

Defines rule #2.

[4] bbab=bab

Overlap of [2] bbaa=baa with [1] aab=b:

bba a aab

Critical pair: bbab=baaab.

Reduce RHS:

[1]ba(aab)
⇒ bab

Defines rule #4.