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

Back:⟨a, b | aabaa=a⟩

Completion settings:

[1] aabaa=a

Axiom: aabaa=a.

Referenced by [2], [3].

[2] abaa=aaba

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

aab aa aabaa

Critical pair: aaba=abaa.

Flip LHS and RHS.

Defines rule #1.

Referenced by [3].

[3] aaaba=a

Overlap of [1] aabaa=a with [2] abaa=aaba:

a abaa abaa

Critical pair: aaaba=a.

Defines rule #2.