Certificate for #762 ⟨a, b | aaabaaab=a⟩

Back:⟨a, b | aaabaaab=a⟩

Completion settings:

[1] aaabaaab=a

Axiom: aaabaaab=a.

Referenced by [2], [3].

[2] aaaba=aaaab

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

aaab aaab aaabaaab

Critical pair: aaaba=aaaab.

Defines rule #1.

Referenced by [3].

[3] aaaaaabb=a

Overlap of [1] aaabaaab=a with [2] aaaba=aaaab:

aaabaaab aaaba

Critical pair: aaaabaab=a.

Reduce LHS:

[2]a(aaaba)ab
[2]⇒ aa(aaaba)b
⇒ aaaaaabb

Defines rule #2.