Morphocompletion for #3813 ⟨a, b | abbabaaaab=b⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#	Rule
1.	aaaaabbb ⇒ babaaaab
2.	abbabb ⇒ bbabab
3.	abbabab ⇒ bbabaab
4.	abbabaab ⇒ bbabaaab
5.	abbabaaab ⇒ bbabaaaab
6.	abbabaaaab ⇒ b
7.	bbabababaaaab ⇒ abbb
8.	bbabaababaaaab ⇒ aabbb
9.	bbabaaababaaaab ⇒ aaabbb
10.	bbabaaaababaaaab ⇒ aaaabbb
11.	abbbbabab ⇒ bbabababb
12.	abbbbabaab ⇒ bbabababab
13.	abbbbabaaab ⇒ bbabababaab
14.	abbbbabaaaab ⇒ bbabababaaab
15.	bbabababababaaaab ⇒ abbaabbb
16.	bbabababaababaaaab ⇒ abbaaabbb
17.	bbabaababababaaaab ⇒ aabbaabbb
18.	bbabababbbabaaaab ⇒ abbbbabb
19.	bbabaababbbabaaaab ⇒ aabbbbabb
20.	abbbbabbbabab ⇒ bbabababbbabb
	...

Collecting factors up to length 7, frequency 4:

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

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

Collecting factors up to length 6, frequency 7:

Length 2:	[2/0] ac, [2/1] bb, [2/2] cc, [2/3] cb, [2/4] bc, [2/5] aa, [2/6] ca
Length 3:	[3/0] bbc, [3/1] aac, [3/2] cbc, [3/3] caa, [3/4] bcc, [3/5] cac, [3/6] bca
Length 4:	[4/0] bbcc, [4/1] aaac, [4/2] bcac, [4/3] caac, [4/4] cbca, [4/5] caaa, [4/6] bbca
Length 5:	[5/0] caaac, [5/1] bbccc, [5/2] cbcac, [5/3] bcaac, [5/4] ccaaa, [5/5] bbccb, [5/6] bbcaa

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

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

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