Morphocompletion for #4323 ⟨a, b | ababbbbba=ba⟩

Solved by morph:7/2. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

• Reduction order:
  • Left-to-right recursive path with deg(a) = 0; deg(b) = 1

Rewriting system is not complete: arenaTotalLimit

Collecting factors up to length 8 / frequency 7:

Considering [length 7 / frequency 2] bbbbbba=c.

Step 2

• Auxiliary generators:
  1. c = bbbbbba
• Reduction order:
  • Left-to-right recursive path with deg(a) = deg(c) = 0, a < c; deg(b) = 1

Rewriting system is complete. See ⟨a, b | ababbbbba=ba⟩.