Certificate for #3405 ⟨a, b | aaaabbabaa=a⟩

Back:⟨a, b | aaaabbabaa=a⟩

Completion settings:

[1] aaaabbabaa=a

Axiom: aaaabbabaa=a.

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

[2] aaabbabaa=aaaabbaba

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

aaaabbab aa aaaabbabaa

Critical pair: aaaabbaba=aaabbabaa.

Flip LHS and RHS.

Referenced by [3], [4].

[3] abbabaa=aabbaba

Overlap of [2] aaabbabaa=aaaabbaba with [2] aaabbabaa=aaaabbaba:

aaabbab aa aaabbabaa

Critical pair: aaabbabaaaabbaba=aaaabbabaabbabaa.

Reduce LHS:

[2](aaabbabaa)aabbaba
[1]⇒ (aaaabbabaa)abbaba
⇒ aabbaba

Reduce RHS:

[1](aaaabbabaa)bbabaa
⇒ abbabaa

Flip LHS and RHS.

Defines rule #1.

[4] aaaaabbaba=a

Overlap of [1] aaaabbabaa=a with [2] aaabbabaa=aaaabbaba:

a aaabbabaa aaabbabaa

Critical pair: aaaaabbaba=a.

Defines rule #2.