Morphocompletion for #4340 ⟨a, b | abbabaaab=aa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#	Rule
1.	abbabaaab ⇒ aa
2.	abbabaaaa ⇒ aababaaab
3.	aaaaabbbabaaab ⇒ aaaaaba
4.	aaaaabbbabaaaa ⇒ aaaaabababaaab
5.	aaabaaabbbabaaab ⇒ aaabaaaba
6.	aababaaabbbabaaab ⇒ aababaaaba
7.	aaabaaababbbabaaab ⇒ aaabaaababa
8.	aababaaababbbabaaab ⇒ aababaaababa
	...

Collecting factors up to length 7, frequency 4:

Considering [length 5 / frequency 3] bbaba=c.

Checking up to 20 rules for overlaps.

Reduction order:
- Right-to-left recursive path with deg(c) = 0; deg(b) = deg(a) = 1, b < a
Auxiliary generators:
1. bbaba=c

Rewriting system is not complete: roundsLimit

#	Rule
1.	ccaab ⇒ ca
2.	cccacaac ⇒ caa
3.	acaab ⇒ aa
4.	caaba ⇒ ccacaac
5.	accacaac ⇒ aaa
6.	caaaab ⇒ cccacaaa
7.	bbaba ⇒ c
8.	cababa ⇒ ccaac
9.	aaaba ⇒ acacaac
10.	ccacaacba ⇒ cacaac
11.	caacacaac ⇒ cccacaaaa
12.	aaaaab ⇒ accacaaa
13.	aababa ⇒ acaac
14.	acacaacba ⇒ aacaac
15.	cccacccacaaaa ⇒ caaacaac
16.	cccacccacccacaaa ⇒ caaacaacb
17.	aaacacaac ⇒ accacaaaa
18.	caaacaacba ⇒ cccacaaacaac
19.	accacccacaaaa ⇒ aaaacaac
20.	aaaacaacba ⇒ accacaaacaac
	...

Collecting factors up to length 6, frequency 7:

Length 2:	[2/0] aa, [2/1] ac, [2/2] ca, [2/3] cc, [2/4] ba, [2/5] ab, [2/6] cb
Length 3:	[3/0] aaa, [3/1] caa, [3/2] aca, [3/3] aac, [3/4] cac, [3/5] cca, [3/6] aba
Length 4:	[4/0] caac, [4/1] acaa, [4/2] ccac, [4/3] aaaa, [4/4] ccca, [4/5] caca, [4/6] caaa
Length 5:	[5/0] acaac, [5/1] cccac, [5/2] cacaa, [5/3] aacba, [5/4] ccaca, [5/5] caaaa, [5/6] ababa

Considering [length 4 / frequency 2] ccac=d.

Reduction order:
- Right-to-left recursive path with deg(d) = deg(c) = 0, d < c; deg(b) = deg(a) = 1, b < a
Auxiliary generators:
1. bbaba=c
2. ccac=d

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