Morphocompletion for #2528 ⟨a, b | aabbaa=baab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#	Rule
1.	aabbaa ⇒ baab
2.	aabbbaab ⇒ baabbbaa
3.	aabbabaab ⇒ baababbaa
4.	aabbbbaab ⇒ bbaabbbaaaa
5.	aabbabbaab ⇒ baababbaabaa
6.	aabbbbbaab ⇒ bbaabbbaaaabaa
7.	aabbabbbaab ⇒ baababbaabaabaa
8.	aabbbbbbaab ⇒ bbaabbbaaaabaabaa
9.	aabbabbbbaab ⇒ baababbaabaabaabaa
10.	aabbbbbbbaab ⇒ bbaabbbaaaabaabaabaa
11.	aabbabbbbbaab ⇒ baababbaabaabaabaabaa
12.	aabbbbbbbbaab ⇒ bbaabbbaaaabaabaabaabaa
13.	aabbabbbbbbaab ⇒ baababbaabaabaabaabaabaa
14.	aabbbbbbbbbaab ⇒ bbaabbbaaaabaabaabaabaabaa
15.	aabbabbbbbbbaab ⇒ baababbaabaabaabaabaabaabaa
16.	aabbbbbbbbbbaab ⇒ bbaabbbaaaabaabaabaabaabaabaa
17.	aabbabbbbbbbbaab ⇒ baababbaabaabaabaabaabaabaabaa
18.	aabbabbbbbbbbbaabbbaaaa ⇒ baababbbaabbbbbbbbbaa
19.	aabbbbbbbbbbbbaabbbaaaa ⇒ bbbaabbbaaaabbbbbbbbbaa
	...

Collecting factors up to length 7 / frequency 4:

Considering [length 5 / frequency 1] bbaab=c.

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	aacaa ⇒ c
2.	aacc ⇒ ccaa
3.	aacac ⇒ cacaa
4.	bc ⇒ cbaa
5.	baac ⇒ cb
6.	aabbaa ⇒ baab
7.	aacbaab ⇒ cbbaa
8.	aacabaab ⇒ cabbaa
9.	bbaaaac ⇒ caabb
10.	aabbac ⇒ baabacaa
11.	bbaab ⇒ c
12.	baabb ⇒ aac
13.	aabbabaab ⇒ baababbaa
14.	cbbaaaabb ⇒ aacbaaaac
15.	cabbaaaabb ⇒ aacabaaaac
16.	cbbbaaaabb ⇒ baaaacbaaaac
17.	cbabbaaaabb ⇒ baaaacabaaaac
18.	baababbaaaabb ⇒ aabbabaaaac
19.	cbbbbaaaabb ⇒ baabaaaacbaaaac
	...

Collecting factors up to length 6 / frequency 7:

Considering [length 2 / frequency 1] bb=d.

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

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