Certificate for #852 ⟨a, b | ababbaab=b⟩

Back:⟨a, b | ababbaab=b⟩

Completion settings:

[1] ababbaab=b

Axiom: ababbaab=b.

Defines rule #3.

Referenced by [2], [3].

[2] ababbab=babbaab

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

ababba ab ababbaab

Critical pair: ababbab=babbaab.

Defines rule #2.

Referenced by [3].

[3] ababbb=babbab

Overlap of [2] ababbab=babbaab with [1] ababbaab=b:

ababb ab ababbaab

Critical pair: ababbb=babbaababbaab.

Reduce RHS:

[1]babba(ababbaab)
⇒ babbab

Defines rule #1.