Morphocompletion for #4199 ⟨a, b | bba=abb, bbb=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.	bbb ⇒ b
2.	babb ⇒ ba
3.	bba ⇒ abb
4.	baabb ⇒ baa
5.	baaabb ⇒ baaa
6.	baaaabb ⇒ baaaa
7.	baaaaabb ⇒ baaaaa
8.	baaaaaabb ⇒ baaaaaa
9.	baaaaaaabb ⇒ baaaaaaa
10.	baaaaaaaabb ⇒ baaaaaaaa
11.	baaaaaaaaabb ⇒ baaaaaaaaa
12.	baaaaaaaaaabb ⇒ baaaaaaaaaa
13.	baaaaaaaaaaabb ⇒ baaaaaaaaaaa
14.	baaaaaaaaaaaabb ⇒ baaaaaaaaaaaa
15.	baaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaa
16.	baaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaa
17.	baaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaa
18.	baaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaa
19.	baaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaa
20.	baaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaa
21.	baaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaa
22.	baaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaa
23.	baaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaa
24.	baaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaa
25.	baaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaa
26.	baaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaa
27.	baaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaa
28.	baaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaa
29.	baaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaa
30.	baaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaa
31.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaa
32.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
33.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
34.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
35.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
36.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
37.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
38.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
39.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
40.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
41.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
42.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
43.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
44.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
45.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
46.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
47.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
48.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
49.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
50.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
51.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
52.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
53.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
54.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
55.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
56.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
57.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
58.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
59.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
60.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
61.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
62.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
63.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
64.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
65.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
66.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
67.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
68.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
69.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
70.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
71.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
72.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
73.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
74.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
75.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
76.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
77.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
78.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
79.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
80.	baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	...

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 | bba=abb, bbb=b⟩.