Certificate for #83 ⟨a, b | aabaa=b⟩

Back:⟨a, b | aabaa=b⟩

Completion settings:

[1] aabaa=b

Axiom: aabaa=b.

Defines rule #2.

Referenced by [2], [3].

[2] bbaa=aabb

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

aab aa aabaa

Critical pair: aabb=bbaa.

Flip LHS and RHS.

Defines rule #1.

[3] babaa=aabab

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

aaba a aabaa

Critical pair: aabab=babaa.

Flip LHS and RHS.

Defines rule #3.