Certificate for #2001 ⟨a, b | aabbbaab=ab⟩

Back:⟨a, b | aabbbaab=ab⟩

Completion settings:

[1] aabbbaab=ab

Axiom: aabbbaab=ab.

Referenced by [2], [3].

[2] abbbaab=aabbbab

Overlap of [1] aabbbaab=ab with [1] aabbbaab=ab:

aabbb aab aabbbaab

Critical pair: aabbbab=abbbaab.

Flip LHS and RHS.

Defines rule #1.

Referenced by [3].

[3] aaabbbab=ab

Overlap of [1] aabbbaab=ab with [2] abbbaab=aabbbab:

a abbbaab abbbaab

Critical pair: aaabbbab=ab.

Defines rule #2.