Morphocompletion for #22792 ⟨a, b | aaa=1, ababa=bab⟩

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

Step 1

Checking up to 80 rules for overlaps.

Reduction order:
- Left-to-right recursive path with deg(a) = 0; deg(b) = 1

Rewriting system is not complete: roundsLimit

#	Rule
1.	aaa ⇒ 1
2.	abab ⇒ babaa
3.	abbab ⇒ babba
4.	abbbab ⇒ babbaaba
5.	abbbbab ⇒ babbaabaaba
6.	abbbbbab ⇒ babbaabaabaaba
7.	abbbbbbab ⇒ babbaabaabaabaaba
8.	abbbbbbbab ⇒ babbaabaabaabaabaaba
9.	abbbbbbbbab ⇒ babbaabaabaabaabaabaaba
10.	abbbbbbbbbab ⇒ babbaabaabaabaabaabaabaaba
11.	abbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaaba
12.	abbbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaabaaba
13.	abbbbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaabaabaaba
14.	abbbbbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaabaabaabaaba
15.	abbbbbbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaabaabaabaabaaba
16.	abbbbbbbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaabaabaabaabaabaaba
17.	abbbbbbbbbbbbbbbabaa ⇒ babbaabaabaabaabaabaabaabaabaabaabaabaabaab
18.	abbbbbbbbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
19.	abbbbbbbbbbbbbbbbabaa ⇒ babbaabaabaabaabaabaabaabaabaabaabaabaabaabaab
20.	abbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbaa
21.	abbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbaa
22.	abbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbaa
23.	abbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbaa
24.	abbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbaa
25.	abbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbaa
26.	abbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbaa
27.	abbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbaa
28.	abbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbaa
29.	abbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbaa
30.	abbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbbaa
31.	abbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbbbaa
32.	abbbbbbbbbbbbbbbbbbbbbbbbbbabba ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbbb
33.	abbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbbbbaa
34.	abbbbbbbbbbbbbbbbbbbbbbbbbbbabba ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbbbb
35.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbabba ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbbbbb
	...

Collecting factors up to length 14 / frequency 2:

[2/0]	bb	13890	`lf:503,ls:13,rf:355,rp:16,rs:3,lsrp:13,a:4`
[2/1]	ab	2302	`lf:68,lp:34,ls:16,rf:182,rs:2,lprs:2,a:3`
[3/0]	bab	16102	`lf:34,ls:16,rf:34,rp:18,lsrp:16,a:3`
[3/1]	bba	3118	`lf:36,ls:3,rf:62,rp:16,rs:1,lsrp:3,a:4`
[4/0]	abba	10042	`lf:4,lp:1,ls:3,rf:33,rs:1,lprs:10,a:4`
[4/1]	bbbb	699	`lf:422,rf:274,rs:3,a:19`
[5/0]	bbabb	13061	`lf:16,ls:13,rf:16,rp:16,lsrp:13,a:127`
[5/1]	bbbbb	652	`lf:391,rf:258,rs:3,a:33`
[6/0]	bbabba	3038	`lf:3,ls:3,rf:16,rp:16,lsrp:3,a:127`
[6/1]	bbbbbb	606	`lf:361,rf:242,rs:3,a:51`
[7/0]	bbbbbbb	561	`lf:332,rf:226,rs:3,a:67`
[7/1]	aabaaba	127	`rf:114,rs:13,a:19`
[8/0]	bbbbbbbb	517	`lf:304,rf:210,rs:3,a:88`
[8/1]	baabaaba	127	`rf:114,rs:13,a:19`
[9/0]	bbbbbbbbb	474	`lf:277,rf:194,rs:3,a:112`
[9/1]	abaabaaba	111	`rf:99,rs:12,a:33`
[10/0]	bbbbbbbbbb	432	`lf:251,rf:178,rs:3,a:127`
[10/1]	aabaabaaba	111	`rf:99,rs:12,a:33`
[11/0]	bbbbbbbbbbb	391	`lf:226,rf:162,rs:3,a:127`
[11/1]	baabaabaaba	111	`rf:99,rs:12,a:33`
[12/0]	bbbbbbbbbbbb	351	`lf:202,rf:146,rs:3,a:127`
[12/1]	abaabaabaaba	96	`rf:85,rs:11,a:51`
[13/0]	bbbbbbbbbbbbb	312	`lf:179,rf:130,rs:3,a:127`
[13/1]	aabaabaabaaba	96	`rf:85,rs:11,a:51`

Considering [length 3 / frequency 0] bab=c.

Step 2

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

Rewriting system is complete. See ⟨a, b | aaa=1, ababa=bab⟩.