Certificate for #1038 ⟨a, b | aaabaa=bab⟩

Back:⟨a, b | aaabaa=bab⟩

Completion settings:

[1] aaabaa=bab

Axiom: aaabaa=bab.

Defines rule #1.

Referenced by [2], [3].

[2] aaabbab=bababaa

Overlap of [1] aaabaa=bab with [1] aaabaa=bab:

aaab aa aaabaa

Critical pair: aaabbab=bababaa.

Defines rule #2.

[3] aaababab=babaabaa

Overlap of [1] aaabaa=bab with [1] aaabaa=bab:

aaaba a aaabaa

Critical pair: aaababab=babaabaa.

Defines rule #3.