Certificate for #11915 ⟨a, b | aaba=ba, bbbbb=1⟩

Back:⟨a, b | aaba=ba, bbbbb=1⟩

Completion settings:

[1] aaba=ba

Axiom: aaba=ba.

Defines rule #2.

Referenced by [3], [4].

[2] bbbbb=1

Axiom: bbbbb=1.

Defines rule #4.

Referenced by [6].

[3] aabba=bba

Overlap of [1] aaba=ba with [1] aaba=ba:

aab a aaba

Critical pair: aabba=baaba.

Reduce RHS:

[1]b(aaba)
⇒ bba

Defines rule #3.

Referenced by [4], [5], [6].

[4] aabbba=bbba

Overlap of [1] aaba=ba with [3] aabba=bba:

aab a aabba

Critical pair: aabbba=baabba.

Reduce RHS:

[3]b(aabba)
⇒ bbba

Defines rule #5.

Referenced by [6].

[5] aabbbba=bbbba

Overlap of [3] aabba=bba with [3] aabba=bba:

aabb a aabba

Critical pair: aabbbba=bbaabba.

Reduce RHS:

[3]bb(aabba)
⇒ bbbba

Defines rule #6.

[6] aaa=a

Overlap of [3] aabba=bba with [4] aabbba=bbba:

aabb a aabbba

Critical pair: aabbbbba=bbaabbba.

Reduce LHS:

[2]aa(bbbbb)a
⇒ aaa

Reduce RHS:

[4]bb(aabbba)
[2]⇒ (bbbbb)a
⇒ a

Defines rule #1.