Certificate for #3773 ⟨a, b | abababbaab=b⟩

Back:⟨a, b | abababbaab=b⟩

Completion settings:

[1] abababbaab=b

Axiom: abababbaab=b.

Defines rule #3.

Referenced by [2], [3].

[2] abababbab=bababbaab

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

abababba ab abababbaab

Critical pair: abababbab=bababbaab.

Defines rule #2.

Referenced by [3].

[3] abababbb=bababbab

Overlap of [2] abababbab=bababbaab with [1] abababbaab=b:

abababb ab abababbaab

Critical pair: abababbb=bababbaabababbaab.

Reduce RHS:

[1]bababba(abababbaab)
⇒ bababbab

Defines rule #1.