Certificate for #13049 ⟨a, b | baa=aab, aaba=b⟩

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

Completion settings:

[1] baa=aab

Axiom: baa=aab.

Referenced by [3].

[2] aaba=b

Axiom: aaba=b.

Referenced by [3], [4].

[3] ba=aaaab

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

aa ba baa

Critical pair: aaaab=ba.

Flip LHS and RHS.

Defines rule #2.

Referenced by [4].

[4] aaaaaab=b

Overlap of [2] aaba=b with [3] ba=aaaab:

aa ba ba

Critical pair: aaaaaab=b.

Defines rule #1.