Morphocompletion for #5293 ⟨a, b | aba=bb, bbbb=b⟩

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

Step 1

Checking up to 80 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	bbbb ⇒ b
2.	babbb ⇒ ba
3.	bbba ⇒ abbb
4.	aba ⇒ bb
5.	baabbb ⇒ baa
6.	baaabbb ⇒ baaa
7.	baaaabbb ⇒ baaaa
8.	baaaaabbb ⇒ baaaaa
9.	baaaaaabbb ⇒ baaaaaa
10.	baaaaaaabbb ⇒ baaaaaaa
11.	baaaaaaaabbb ⇒ baaaaaaaa
12.	baaaaaaaaabbb ⇒ baaaaaaaaa
13.	baaaaaaaaaabbb ⇒ baaaaaaaaaa
14.	baaaaaaaaaaabbb ⇒ baaaaaaaaaaa
15.	baaaaaaaaaaaabbb ⇒ baaaaaaaaaaaa
16.	baaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaa
17.	baaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaa
18.	baaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaa
19.	baaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaa
20.	baaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaa
21.	baaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaa
22.	baaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaa
23.	baaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaa
24.	baaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaa
25.	baaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaa
26.	baaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaa
27.	baaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaa
28.	baaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaa
29.	baaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaa
30.	baaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaa
31.	baaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaa
32.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaa
33.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
34.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
35.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
36.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
37.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
38.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
39.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
40.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
41.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
42.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
43.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
44.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
45.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
46.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
47.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
48.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
49.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
50.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
51.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
52.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
53.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
54.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
55.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
56.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
57.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
58.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
59.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
60.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
61.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
62.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
63.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
64.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
65.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
66.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
67.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
68.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
69.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
70.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
71.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
72.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
73.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
74.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
75.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
76.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
77.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
78.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
79.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
80.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	...

Collecting factors up to length 14 / frequency 2:

[2/0]	aa	5928	`lf:2926,rf:2926,rs:76,a:4`
[2/1]	ba	1314	`lf:79,lp:77,ls:2,rf:77,rp:77,rs:1,re:1,lprp:77,lprs:1`
[3/0]	bbb	10162	`lf:80,lp:2,ls:78,rf:1,rs:1,lprs:10,a:1`
[3/1]	aaa	5775	`lf:2850,rf:2850,rs:75,a:5`
[4/0]	aaaa	5624	`lf:2775,rf:2775,rs:74,a:6`
[4/1]	baaa	1302	`lf:75,lp:75,rf:75,rp:75,rs:1,re:1,lprp:75,lprs:1,a:5`
[5/0]	aaaaa	5475	`lf:2701,rf:2701,rs:73,a:7`
[5/1]	baaaa	1298	`lf:74,lp:74,rf:74,rp:74,rs:1,re:1,lprp:74,lprs:1,a:6`
[6/0]	aaaaaa	5328	`lf:2628,rf:2628,rs:72,a:8`
[6/1]	baaaaa	1294	`lf:73,lp:73,rf:73,rp:73,rs:1,re:1,lprp:73,lprs:1,a:7`
[7/0]	aaaaaaa	5183	`lf:2556,rf:2556,rs:71,a:9`
[7/1]	baaaaaa	1290	`lf:72,lp:72,rf:72,rp:72,rs:1,re:1,lprp:72,lprs:1,a:8`
[8/0]	aaaaaaaa	5040	`lf:2485,rf:2485,rs:70,a:10`
[8/1]	baaaaaaa	1286	`lf:71,lp:71,rf:71,rp:71,rs:1,re:1,lprp:71,lprs:1,a:9`
[9/0]	aaaaaaaaa	4899	`lf:2415,rf:2415,rs:69,a:11`
[9/1]	baaaaaaaa	1282	`lf:70,lp:70,rf:70,rp:70,rs:1,re:1,lprp:70,lprs:1,a:10`
[10/0]	aaaaaaaaaa	4760	`lf:2346,rf:2346,rs:68,a:12`
[10/1]	baaaaaaaaa	1278	`lf:69,lp:69,rf:69,rp:69,rs:1,re:1,lprp:69,lprs:1,a:11`
[11/0]	aaaaaaaaaaa	4623	`lf:2278,rf:2278,rs:67,a:13`
[11/1]	baaaaaaaaaa	1274	`lf:68,lp:68,rf:68,rp:68,rs:1,re:1,lprp:68,lprs:1,a:12`
[12/0]	aaaaaaaaaaaa	4488	`lf:2211,rf:2211,rs:66,a:14`
[12/1]	baaaaaaaaaaa	1270	`lf:67,lp:67,rf:67,rp:67,rs:1,re:1,lprp:67,lprs:1,a:13`
[13/0]	aaaaaaaaaaaaa	4355	`lf:2145,rf:2145,rs:65,a:15`
[13/1]	baaaaaaaaaaaa	1266	`lf:66,lp:66,rf:66,rp:66,rs:1,re:1,lprp:66,lprs:1,a:14`

Considering [length 2 / frequency 1] ba=c.

Step 2

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

Rewriting system is complete. See ⟨a, b | aba=bb, bbbb=b⟩.