Morphocompletion for #4727 ⟨a, b | aabbbaba=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

Collecting factors up to length 7, frequency 4:

Considering [length 6 / frequency 1] abbbab=c.

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	aacccaca ⇒ caa
2.	aacccacc ⇒ cac
3.	baa ⇒ aca
4.	bac ⇒ acc
5.	bcaa ⇒ acacccaca
6.	bcac ⇒ acacccacc
7.	bccaa ⇒ acacccacacccaca
8.	bccac ⇒ acacccacacccacc
9.	bcccaa ⇒ acacccacacccacacccaca
10.	bcccac ⇒ acacccacacccacacccacc
11.	bccccaa ⇒ acacccacacccacacccacacccaca
12.	bccccac ⇒ acacccacacccacacccacacccacc
13.	bcccccaa ⇒ acacccacacccacacccacacccacacccaca
14.	bcccccac ⇒ acacccacacccacacccacacccacacccacc
15.	bccccccaa ⇒ acacccacacccacacccacacccacacccacacccaca
16.	bccccccac ⇒ acacccacacccacacccacacccacacccacacccacc
17.	bcccccccaa ⇒ acacccacacccacacccacacccacacccacacccacacccaca
18.	bcccccccac ⇒ acacccacacccacacccacacccacacccacacccacacccacc
19.	abbbc ⇒ cbbab
20.	abbbab ⇒ c
	...

Collecting factors up to length 6, frequency 7:

Length 2:	[2/0] cc, [2/1] bc, [2/2] ac, [2/3] aa, [2/4] ca, [2/5] ab, [2/6] ba
Length 3:	[3/0] ccc, [3/1] bcc, [3/2] cac, [3/3] cca, [3/4] caa, [3/5] abb, [3/6] bca
Length 4:	[4/0] bccc, [4/1] cccc, [4/2] ccac, [4/3] ccca, [4/4] ccaa, [4/5] abbb, [4/6] bcca
Length 5:	[5/0] bcccc, [5/1] ccccc, [5/2] cccac, [5/3] cccaa, [5/4] cccca, [5/5] bccca, [5/6] aaccc

Considering [length 4 / frequency 3] ccca=d.

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

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