Certificate for #12403 ⟨a, b | aaba=ba, bbbb=b⟩

Back:⟨a, b | aaba=ba, bbbb=b⟩

Completion settings:

[1] aaba=ba

Axiom: aaba=ba.

Defines rule #1.

Referenced by [3], [4].

[2] bbbb=b

Axiom: bbbb=b.

Defines rule #2.

[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].

[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 #4.