Certificate for #69 ⟨a, b | abaaba=1⟩

Back:⟨a, b | abaaba=1⟩

Completion settings:

[1] abaaba=1

Axiom: abaaba=1.

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

[2] baaba=abaab

Overlap of [1] abaaba=1 with [1] abaaba=1:

abaab a abaaba

Critical pair: abaab=baaba.

Flip LHS and RHS.

Defines rule #1.

Referenced by [3].

[3] baaabaab=ba

Overlap of [2] baaba=abaab with [2] baaba=abaab:

baa ba baaba

Critical pair: baaabaab=abaababa.

Reduce RHS:

[1](abaaba)ba
⇒ ba

Referenced by [4].

[4] aabaab=1

Overlap of [1] abaaba=1 with [3] baaabaab=ba:

abaa ba baaabaab

Critical pair: abaaba=aabaab.

Reduce LHS:

[1](abaaba)
⇒ 1

Flip LHS and RHS.

Defines rule #2.