Morphocompletion for #4353 ⟨a, b | abbbaaaab=ba⟩

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

Collecting factors up to length 7 / frequency 4:

Considering [length 5 / frequency 2] baaaa=c.

Step 2

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: wordLimit

Collecting factors up to length 6 / frequency 7:

Considering [length 3 / frequency 0] abb=d.

Step 3

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

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