Certificate for #3527 ⟨a, b | aaabbbbbaa=a⟩

Back:⟨a, b | aaabbbbbaa=a⟩

Completion settings:

[1] aaabbbbbaa=a

Axiom: aaabbbbbaa=a.

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

[2] aabbbbbaa=aaabbbbba

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

aaabbbbb aa aaabbbbbaa

Critical pair: aaabbbbba=aabbbbbaa.

Flip LHS and RHS.

Referenced by [3], [4].

[3] abbbbbaa=aabbbbba

Overlap of [1] aaabbbbbaa=a with [2] aabbbbbaa=aaabbbbba:

aaabbbbb aa aabbbbbaa

Critical pair: aaabbbbbaaabbbbba=abbbbbaa.

Reduce LHS:

[1](aaabbbbbaa)abbbbba
⇒ aabbbbba

Flip LHS and RHS.

Defines rule #1.

[4] aaaabbbbba=a

Overlap of [1] aaabbbbbaa=a with [2] aabbbbbaa=aaabbbbba:

a aabbbbbaa aabbbbbaa

Critical pair: aaaabbbbba=a.

Defines rule #2.