Morphocompletion for #4749 ⟨a, b | aabbbbba=baa⟩

Solved by morph:6/2,5/0,2/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: rulesLimit

Collecting factors up to length 7, frequency 3:

Considering [length 6 / frequency 2] bbbbba=c.

Step 2

Checking up to 20 rules for overlaps.

• Reduction order:
  • Right-to-left recursive path with deg(a) = 0; deg(c) = 1; deg(b) = 2
• Auxiliary generators:
  1. bbbbba=c

Rewriting system is not complete: roundsLimit

Collecting factors up to length 6, frequency 5:

Considering [length 5 / frequency 0] ccccc=d.

Step 3

Checking up to 20 rules for overlaps.

• Reduction order:
  • Right-to-left recursive path with deg(a) = 0; deg(d) = deg(c) = 1, d < c; deg(b) = 2
• Auxiliary generators:
  1. bbbbba=c
  2. ccccc=d

Rewriting system is not complete: roundsLimit

Collecting factors up to length 6, frequency 5:

Considering [length 2 / frequency 0] da=e.

Step 4

• Reduction order:
  • Right-to-left recursive path with deg(a) = deg(e) = 0, a < e; deg(d) = deg(c) = 1, d < c; deg(b) = 2
• Auxiliary generators:
  1. bbbbba=c
  2. ccccc=d
  3. da=e

Rewriting system is complete. See ⟨a, b | aabbbbba=baa⟩.