Certificate for #3455 ⟨a, b | aaababaaab=a⟩

Back:⟨a, b | aaababaaab=a⟩

Completion settings:

[1] aaababaaab=a

Axiom: aaababaaab=a.

Referenced by [2], [3], [4].

[2] aaababa=aabaaab

Overlap of [1] aaababaaab=a with [1] aaababaaab=a:

aaabab aaab aaababaaab

Critical pair: aaababa=aabaaab.

Defines rule #1.

Referenced by [3], [4].

[3] aabaaabaab=a

Overlap of [1] aaababaaab=a with [2] aaababa=aabaaab:

aaababaaab aaababa

Critical pair: aabaaabaab=a.

Defines rule #3.

Referenced by [4].

[4] aaaabaab=aabaaaba

Overlap of [1] aaababaaab=a with [3] aabaaabaab=a:

aaababa aab aabaaabaab

Critical pair: aaababaa=aaaabaab.

Reduce LHS:

[2](aaababa)a
⇒ aabaaaba

Flip LHS and RHS.

Defines rule #2.