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:

Length 2:	[2/0] aa, [2/1] ba
Length 3:	[3/0] bbb, [3/1] aaa
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 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⟩.