Certificate for #20084 ⟨a, b | aab=b, abaa=baa⟩

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

Completion settings:

[1] aab=b

Axiom: aab=b.

Defines rule #1.

Referenced by [3], [4].

[2] abaa=baa

Axiom: abaa=baa.

Defines rule #3.

Referenced by [3], [4].

[3] abb=bb

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

ab aa aab

Critical pair: abb=baab.

Reduce RHS:

[1]b(aab)
⇒ bb

Defines rule #2.

[4] abab=bab

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

aba a aab

Critical pair: abab=baaab.

Reduce RHS:

[1]ba(aab)
⇒ bab

Defines rule #4.