Certificate for #4886 ⟨a, b | abbbbbba=abb⟩

Back:⟨a, b | abbbbbba=abb⟩

Completion settings:

[1] abbbbbba=abb

Axiom: abbbbbba=abb.

Referenced by [3].

[2] abbbbb=c

Axiom: abbbbb=c.

Referenced by [3], [4].

[3] abb=cba

Overlap of [1] abbbbbba=abb with [2] abbbbb=c:

abbbbbba abbbbb

Critical pair: cba=abb.

Flip LHS and RHS.

Defines rule #2.

Referenced by [4], [5].

[4] cbcbab=c

Overlap of [2] abbbbb=c with [3] abb=cba:

abbbbb abb

Critical pair: cbabbb=c.

Reduce LHS:

[3]cb(abb)b
⇒ cbcbab

Defines rule #3.

Referenced by [5], [6].

[5] cbcbcba=cb

Overlap of [4] cbcbab=c with [3] abb=cba:

cbcb ab abb

Critical pair: cbcbcba=cb.

Defines rule #4.

Referenced by [6].

[6] cbb=cbc

Overlap of [5] cbcbcba=cb with [4] cbcbab=c:

cb cbcba cbcbab

Critical pair: cbc=cbb.

Flip LHS and RHS.

Defines rule #1.