Morphocompletion for #6525 ⟨a, b | aba=b, bbbbb=b⟩

Solved by morph:3/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.	bbbbb ⇒ b
2.	babbbb ⇒ ba
3.	bba ⇒ abb
4.	aba ⇒ b
5.	baabbbb ⇒ baa
6.	baaabbbb ⇒ baaa
7.	baaaabbbb ⇒ baaaa
8.	baaaaabbbb ⇒ baaaaa
9.	baaaaaabbbb ⇒ baaaaaa
10.	baaaaaaabbbb ⇒ baaaaaaa
11.	baaaaaaaabbbb ⇒ baaaaaaaa
12.	baaaaaaaaabbbb ⇒ baaaaaaaaa
13.	baaaaaaaaaabbbb ⇒ baaaaaaaaaa
14.	baaaaaaaaaaabbbb ⇒ baaaaaaaaaaa
15.	baaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaa
16.	baaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaa
17.	baaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaa
18.	baaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaa
19.	baaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaa
20.	baaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaa
21.	baaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaa
22.	baaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaa
23.	baaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaa
24.	baaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaa
25.	baaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaa
26.	baaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaa
27.	baaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaa
28.	baaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaa
29.	baaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaa
30.	baaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaa
31.	baaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaa
32.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaa
33.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
34.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
35.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
36.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
37.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
38.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
39.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
40.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
41.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
42.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
43.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
44.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
45.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
46.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
47.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
48.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
49.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
50.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
51.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
52.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
53.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
54.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
55.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
56.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
57.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
58.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
59.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
60.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
61.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
62.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
63.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
64.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
65.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
66.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
67.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
68.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
69.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
70.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
71.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
72.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
73.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
74.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
75.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
76.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
77.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
78.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
79.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
80.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	...

Collecting factors up to length 14 / frequency 2:

[2/0]	bb	10318	`lf:236,lp:2,ls:78,rf:1,rs:1,lprs:10,a:1`
[2/1]	aa	5928	`lf:2926,rf:2926,rs:76,a:4`
[3/0]	aaa	5775	`lf:2850,rf:2850,rs:75,a:5`
[3/1]	baa	1306	`lf:76,lp:76,rf:76,rp:76,rs:1,re:1,lprp:76,lprs:1,a:4`
[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 3 / frequency 1] baa=c.

Step 2

Auxiliary generators:
1. c = baa
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=b, bbbbb=b⟩.