Certificate for #840 ⟨a, b | abaabaab=b⟩

Back:⟨a, b | abaabaab=b⟩

Completion settings:

[1] abaabaab=b

Axiom: abaabaab=b.

Defines rule #3.

Referenced by [2], [3].

[2] abab=baab

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

aba abaab abaabaab

Critical pair: abab=baab.

Defines rule #2.

Referenced by [3].

[3] abb=bab

Overlap of [2] abab=baab with [1] abaabaab=b:

ab ab abaabaab

Critical pair: abb=baabaabaab.

Reduce RHS:

[1]ba(abaabaab)
⇒ bab

Defines rule #1.