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:

Length 2:	[2/0] bb, [2/1] aa
Length 3:	[3/0] aaa, [3/1] baa
Length 4:	[4/0] aaaa, [4/1] baaa
Length 5:	[5/0] aaaaa, [5/1] baaaa
Length 6:	[6/0] aaaaaa, [6/1] baaaaa
Length 7:	[7/0] aaaaaaa, [7/1] baaaaaa
Length 8:	[8/0] aaaaaaaa, [8/1] baaaaaaa
Length 9:	[9/0] aaaaaaaaa, [9/1] baaaaaaaa
Length 10:	[10/0] aaaaaaaaaa, [10/1] baaaaaaaaa
Length 11:	[11/0] aaaaaaaaaaa, [11/1] baaaaaaaaaa
Length 12:	[12/0] aaaaaaaaaaaa, [12/1] baaaaaaaaaaa
Length 13:	[13/0] aaaaaaaaaaaaa, [13/1] baaaaaaaaaaaa

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⟩.