Certificate for #2430 ⟨a, b | aaabaa=baab⟩

Back:⟨a, b | aaabaa=baab⟩

Completion settings:

[1] aaabaa=baab

Axiom: aaabaa=baab.

Defines rule #1.

Referenced by [2], [3].

[2] aaabbaab=baababaa

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

aaab aa aaabaa

Critical pair: aaabbaab=baababaa.

Defines rule #2.

[3] aaababaab=baabaabaa

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

aaaba a aaabaa

Critical pair: aaababaab=baabaabaa.

Defines rule #3.