Morphocompletion for #5246 ⟨a, b | aabbbaa=baab⟩

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

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: rulesLimit

Collecting factors up to length 4, frequency 3:

Considering [length 2 / frequency 1] aa=c.

Step 2

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: arenaTotalLimit

Collecting factors up to length 5, frequency 3:

Considering [length 2 / frequency 1] cb=d.

Step 3

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

Collecting factors up to length 4, frequency 3:

Considering [length 2 / frequency 1] db=e.

Step 4

Checking up to 20 rules for overlaps.

• Reduction order:
  • Left-to-right recursive path with deg(b) = deg(d) = deg(c) = deg(e) = 0, b < d < c < e; deg(a) = 1
• Auxiliary generators:
  1. aa=c
  2. cb=d
  3. db=e

Rewriting system is not complete: roundsLimit

Collecting factors up to length 7, frequency 2:

Considering [length 2 / frequency 0] eb=f.

Step 5

• Reduction order:
  • Left-to-right recursive path with deg(f) = deg(b) = deg(d) = deg(c) = deg(e) = 0, f < b < d < c < e; deg(a) = 1
• Auxiliary generators:
  1. aa=c
  2. cb=d
  3. db=e
  4. eb=f

Rewriting system is complete. See ⟨a, b | aabbbaa=baab⟩.