Morphocompletion for #5141 ⟨a, b | aabaaba=baaa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#	Rule
1.	aabaaba ⇒ baaa
2.	aabbaaa ⇒ baaaaba
3.	aabbaabaaa ⇒ baabaaaaba
4.	aabbbaaaaa ⇒ bbaaaaaaba
5.	baaaababaaba ⇒ aabbabaaa
6.	baaaababbaaa ⇒ aabbabaaaaba
7.	aabaabbabaaa ⇒ baababaaa
8.	aabbaababaaa ⇒ baaaabbabaaa
9.	aabaabbababaaa ⇒ baabababaaa
	...

Collecting factors up to length 7 / frequency 4:

[2/0]	aa	49	`lf:35,lp:7,ls:7,rf:32,rp:2,rs:5,lsrp:1,lprs:4,lsrs:3`
[2/1]	ba	27	`lf:23,lp:2,ls:2,rf:23,rp:6,rs:4,lsrp:1,lprs:1`
[2/2]	ab	21	`lf:21,rf:16`
[2/3]	bb	8	`lf:8,rf:4,rp:1,a:1`
[3/0]	aab	22	`lf:15,lp:7,rf:10,rp:2`
[3/1]	aaa	20	`lf:13,ls:7,rf:17,rs:5,lsrs:3`
[3/2]	baa	17	`lf:15,lp:2,rf:13,rp:6`
[3/3]	aba	16	`lf:14,ls:2,rf:13,rs:4`
[4/0]	baaa	17	`lf:9,lp:2,ls:6,rf:10,rp:3,rs:5,re:1,lsrp:2,lprs:1,lsrs:3`
[4/1]	aaba	14	`lf:9,lp:3,ls:2,rf:7,rs:4`
[4/2]	aabb	10	`lf:6,lp:4,rf:3,rp:2,a:1`
[4/3]	abaa	8	`lf:8,rf:6`
[5/0]	aabba	8	`lf:5,lp:3,rf:3,rp:2,a:1`
[5/1]	abaaa	8	`lf:4,ls:4,rf:6,rs:4,lsrs:3,a:2`
[5/2]	aabaa	7	`lf:4,lp:3,rf:1`
[5/3]	baaba	6	`lf:4,ls:2,rf:3,rp:3`
[6/0]	babaaa	6	`lf:3,ls:3,rf:5,rs:4,lsrs:3,a:2`
[6/1]	aabbaa	6	`lf:3,lp:3,a:1`
[6/2]	aabaab	6	`lf:3,lp:3`
[6/3]	abbaaa	4	`lf:2,ls:2,a:1`

Considering [length 6 / frequency 2] aabaab=c.

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

Collecting factors up to length 6 / frequency 7:

Considering [length 3 / frequency 3] baa=d.

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

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