Morphocompletion for #4626 ⟨a, b | aaaa=a, baab=a⟩

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(a) = 0; deg(b) = 1

Rewriting system is not complete: roundsLimit

#	Rule
1.	aaaa ⇒ a
2.	abaaa ⇒ ab
3.	aaab ⇒ baaa
4.	baab ⇒ a
5.	abbaaa ⇒ abb
6.	abbbaaa ⇒ abbb
7.	abbbbaaa ⇒ abbbb
8.	abbbbbaaa ⇒ abbbbb
9.	abbbbbbaaa ⇒ abbbbbb
10.	abbbbbbbaaa ⇒ abbbbbbb
11.	abbbbbbbbaaa ⇒ abbbbbbbb
12.	abbbbbbbbbaaa ⇒ abbbbbbbbb
13.	abbbbbbbbbbaaa ⇒ abbbbbbbbbb
14.	abbbbbbbbbbbaaa ⇒ abbbbbbbbbbb
15.	abbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbb
16.	abbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbb
17.	abbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbb
18.	abbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbb
19.	abbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbb
20.	abbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbb
21.	abbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbb
22.	abbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbb
23.	abbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbb
24.	abbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbb
25.	abbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbb
26.	abbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbb
27.	abbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
28.	abbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb
29.	abbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
30.	abbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb
31.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
32.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb
33.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
34.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
35.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
36.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
37.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
38.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
39.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
41.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
43.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
47.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
49.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
50.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
51.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
53.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
55.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
56.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
57.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
66.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
67.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
68.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
69.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
70.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
71.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
72.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
73.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
74.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
75.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
76.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
77.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
78.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
79.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
80.	abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	...

Collecting factors up to length 14, frequency 2:

Length 2:	[2/0] bb, [2/1] ab
Length 3:	[3/0] aaa, [3/1] bbb
Length 4:	[4/0] bbbb, [4/1] abbb
Length 5:	[5/0] bbbbb, [5/1] abbbb
Length 6:	[6/0] bbbbbb, [6/1] abbbbb
Length 7:	[7/0] bbbbbbb, [7/1] abbbbbb
Length 8:	[8/0] bbbbbbbb, [8/1] abbbbbbb
Length 9:	[9/0] bbbbbbbbb, [9/1] abbbbbbbb
Length 10:	[10/0] bbbbbbbbbb, [10/1] abbbbbbbbb
Length 11:	[11/0] bbbbbbbbbbb, [11/1] abbbbbbbbbb
Length 12:	[12/0] bbbbbbbbbbbb, [12/1] abbbbbbbbbbb
Length 13:	[13/0] bbbbbbbbbbbbb, [13/1] abbbbbbbbbbbb

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

Step 2

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

Rewriting system is complete. See ⟨a, b | aaaa=a, baab=a⟩.