Certificate for #3486 ⟨a, b | aaabbaaabb=a⟩

Back:⟨a, b | aaabbaaabb=a⟩

Completion settings:

[1] aaabbaaabb=a

Axiom: aaabbaaabb=a.

Referenced by [2], [3].

[2] aaabba=aaaabb

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

aaabb aaabb aaabbaaabb

Critical pair: aaabba=aaaabb.

Defines rule #1.

Referenced by [3].

[3] aaaaaabbbb=a

Overlap of [1] aaabbaaabb=a with [2] aaabba=aaaabb:

aaabbaaabb aaabba

Critical pair: aaaabbaabb=a.

Reduce LHS:

[2]a(aaabba)abb
[2]⇒ aa(aaabba)bb
⇒ aaaaaabbbb

Defines rule #2.