Certificate for #1772 ⟨a, b | abaabbaab=b⟩

Back:⟨a, b | abaabbaab=b⟩

Completion settings:

[1] abaabbaab=b

Axiom: abaabbaab=b.

Defines rule #3.

Referenced by [2], [3].

[2] abaabbab=baabbaab

Overlap of [1] abaabbaab=b with [1] abaabbaab=b:

abaabba ab abaabbaab

Critical pair: abaabbab=baabbaab.

Defines rule #2.

Referenced by [3].

[3] abaabbb=baabbab

Overlap of [2] abaabbab=baabbaab with [1] abaabbaab=b:

abaabb ab abaabbaab

Critical pair: abaabbb=baabbaabaabbaab.

Reduce RHS:

[1]baabba(abaabbaab)
⇒ baabbab

Defines rule #1.