Morphocompletion for #7546 ⟨a, b | aaa=1, bbaabb=a⟩

Solved by morph:2/0. (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.	bbaabb ⇒ a
2.	aaa ⇒ 1
3.	bbaaba ⇒ abaabb
4.	baabbaa ⇒ aabbaab
5.	baabbabbaa ⇒ aabbabbaab
6.	baabbabbabbaa ⇒ aabbabbabbaab
7.	baabbabbabbabbaa ⇒ aabbabbabbabbaab
8.	baabbabbabbabbabbaa ⇒ aabbabbabbabbabbaab
9.	baabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbaab
10.	baabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbaab
11.	baabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbaab
12.	baabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbaab
13.	baabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbaab
14.	baabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbaab
15.	baabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbaab
16.	baabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbaab
17.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
18.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
19.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
20.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
21.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
22.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
23.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
24.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
25.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
26.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
27.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
28.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
29.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
30.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
31.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
32.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
33.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
34.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
35.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
36.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
37.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
38.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
39.	abaabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ bbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
40.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
41.	abaabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ bbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
42.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
43.	abaabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ bbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
44.	baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
45.	abaabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ bbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
46.	abaabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ bbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
	...

Collecting factors up to length 14, frequency 2:

Length 2:	[2/0] aa, [2/1] ab
Length 3:	[3/0] bba, [3/1] abb
Length 4:	[4/0] baab, [4/1] abba
Length 5:	[5/0] bbabb, [5/1] babba
Length 6:	[6/0] aabbaa, [6/1] bbabba
Length 7:	[7/0] abbabba, [7/1] bbabbab
Length 8:	[8/0] bbabbabb, [8/1] babbabba
Length 9:	[9/0] aabbabbaa, [9/1] bbabbabba
Length 10:	[10/0] abbabbabba, [10/1] bbabbabbab
Length 11:	[11/0] bbabbabbabb, [11/1] babbabbabba
Length 12:	[12/0] aabbabbabbaa, [12/1] bbabbabbabba
Length 13:	[13/0] abbabbabbabba, [13/1] bbabbabbabbab

Considering [length 2 / frequency 0] aa=c.

Step 2

Auxiliary generators:
1. c = aa
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 | aaa=1, bbaabb=a⟩.