Certificate for #176 ⟨a, b | aabaab=a⟩

Back:⟨a, b | aabaab=a⟩

Completion settings:

[1] aabaab=a

Axiom: aabaab=a.

Referenced by [2], [3].

[2] aaba=aaab

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

aab aab aabaab

Critical pair: aaba=aaab.

Defines rule #1.

Referenced by [3].

[3] aaaabb=a

Overlap of [1] aabaab=a with [2] aaba=aaab:

aabaab aaba

Critical pair: aaabab=a.

Reduce LHS:

[2]a(aaba)b
⇒ aaaabb

Defines rule #2.