Certificate for #21783 ⟨a, b | aaa=1, bbaabbb=b⟩

Back:⟨a, b | aaa=1, bbaabbb=b⟩

Completion settings:

[1] aaa=1

Axiom: aaa=1.

Defines rule #1.

[2] bbaabbb=b

Axiom: bbaabbb=b.

Referenced by [3], [4].

[3] bbaabb=baabbb

Overlap of [2] bbaabbb=b with [2] bbaabbb=b:

bbaab bb bbaabbb

Critical pair: bbaabb=baabbb.

Referenced by [4], [5].

[4] baabbbb=b

Overlap of [2] bbaabbb=b with [3] bbaabb=baabbb:

bbaabbb bbaabb

Critical pair: baabbbb=b.

Defines rule #3.

Referenced by [5], [6].

[5] bbaabaabbb=baab

Overlap of [3] bbaabb=baabbb with [3] bbaabb=baabbb:

bbaa bb bbaabb

Critical pair: bbaabaabbb=baabbbaabb.

Reduce RHS:

[3]baab(bbaabb)
[3]⇒ baa(bbaabb)b
[4]⇒ baa(baabbbb)
⇒ baab

Referenced by [6].

[6] bbaab=baabb

Overlap of [5] bbaabaabbb=baab with [4] baabbbb=b:

bbaa baabbb baabbbb

Critical pair: bbaab=baabb.

Defines rule #2.