Morphocompletion for #4342 ⟨a, b | abbabaaab=ba⟩

Solved by morph:2/0,3/1,3/1,5/1. (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: arenaTotalLimit

Collecting factors up to length 4, frequency 3:

Considering [length 2 / frequency 0] ba=c.

Step 2

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

Collecting factors up to length 5, frequency 3:

Considering [length 3 / frequency 1] bcc=d.

Step 3

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

Collecting factors up to length 4, frequency 3:

Considering [length 3 / frequency 1] aab=e.

Step 4

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

Collecting factors up to length 7, frequency 2:

Considering [length 5 / frequency 1] cedec=f.

Step 5

• Reduction order:
  • Right-to-left recursive path with deg(d) = deg(e) = deg(f) = 0, d < e < f; deg(c) = 1; deg(a) = 2; deg(b) = 3
• Auxiliary generators:
  1. ba=c
  2. bcc=d
  3. aab=e
  4. cedec=f

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