Morphocompletion for #2087 ⟨a, b | abbbaaab=ba⟩

Solved by morph:4/3,3/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#	Rule
1.	abbbaaab ⇒ ba
2.	babbaaab ⇒ abbbaaba
3.	abbbaaaabbbaaba ⇒ baabbaaab
4.	baabbaaabbbbaaab ⇒ abbbaaaabbbaabba
5.	babbaaaabbbaaba ⇒ abbbaabaabbaaab
6.	abbbaaaabbbaaaabbbaabba ⇒ baaabbaaabbbbaaab
7.	baaabbaaabbbbaaabbbbaaab ⇒ abbbaaaabbbaaaabbbaabbba
8.	baabbaaabbbbaaaabbbaaba ⇒ abbbaaaabbbaabbaabbaaab
9.	babaaabbbbaaabbbbaaabaab ⇒ abbabbbaaaabbbaaaabbbaba
10.	babbaaaabbbaaaabbbaabba ⇒ abbbaabaaabbaaabbbbaaab
11.	abbabbbaaaabbbaaaabbbaabbba ⇒ babaaabbbbaaabbbbaaab
	...

Collecting factors up to length 7 / frequency 4:

Considering [length 4 / frequency 3] baaa=c.

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: lhsLimit

Collecting factors up to length 6 / frequency 7:

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

Auxiliary generators:
1. c = baaa
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 | abbbaaab=ba⟩.