Morphocompletion for #16162 ⟨a, b | aab=ab, abaa=ab⟩

Back:⟨a, b | aab=ab, abaa=ab⟩

Solved by morph:2/0. (See Morphocompletion.)

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aab ⇒ ab
2. abaa ⇒ ab
3. abab ⇒ abb
4. abbaa ⇒ abb
5. abbab ⇒ abbb
6. abbbaa ⇒ abbb
7. abbbab ⇒ abbbb
8. abbbbaa ⇒ abbbb
9. abbbbab ⇒ abbbbb
10. abbbbbaa ⇒ abbbbb
11. abbbbbab ⇒ abbbbbb
12. abbbbbbaa ⇒ abbbbbb
13. abbbbbbab ⇒ abbbbbbb
14. abbbbbbbaa ⇒ abbbbbbb
15. abbbbbbbab ⇒ abbbbbbbb
16. abbbbbbbbaa ⇒ abbbbbbbb
17. abbbbbbbbab ⇒ abbbbbbbbb
18. abbbbbbbbbaa ⇒ abbbbbbbbb
19. abbbbbbbbbab ⇒ abbbbbbbbbb
20. abbbbbbbbbbaa ⇒ abbbbbbbbbb
21. abbbbbbbbbbab ⇒ abbbbbbbbbbb
22. abbbbbbbbbbbaa ⇒ abbbbbbbbbbb
23. abbbbbbbbbbbab ⇒ abbbbbbbbbbbb
24. abbbbbbbbbbbbaa ⇒ abbbbbbbbbbbb
25. abbbbbbbbbbbbab ⇒ abbbbbbbbbbbbb
26. abbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbb
27. abbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbb
28. abbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbb
29. abbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbb
30. abbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbb
31. abbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbb
32. abbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbb
33. abbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbb
34. abbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbb
35. abbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbb
36. abbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbb
37. abbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbb
38. abbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbb
39. abbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbb
40. abbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbb
41. abbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbb
42. abbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbb
43. abbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbb
44. abbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbb
45. abbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbb
46. abbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbb
47. abbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
48. abbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
49. abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb
50. abbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb
51. abbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
52. abbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
53. abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
66. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
67. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
68. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
69. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
70. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
71. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
72. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
73. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
74. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
75. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
76. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
77. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
78. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
79. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
80. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14 / frequency 2:

[2/0]ab41402lf:119,lp:79,ls:40,rf:80,rp:80,rs:2,re:2,lprp:79,lsrp:40,lprs:1,lsrs:1
[2/1]bb3159lf:1521,rf:1560,rs:78,a:2
[3/0]bbb3002lf:1444,rf:1482,rs:76,a:4
[3/1]abb1314lf:77,lp:77,rf:78,rp:78,rs:2,re:2,lprp:77,lprs:1,a:2
[4/0]bbbb2849lf:1369,rf:1406,rs:74,a:6
[4/1]abbb1306lf:75,lp:75,rf:76,rp:76,rs:2,re:2,lprp:75,lprs:1,a:4
[5/0]bbbbb2700lf:1296,rf:1332,rs:72,a:8
[5/1]abbbb1298lf:73,lp:73,rf:74,rp:74,rs:2,re:2,lprp:73,lprs:1,a:6
[6/0]bbbbbb2555lf:1225,rf:1260,rs:70,a:10
[6/1]abbbbb1290lf:71,lp:71,rf:72,rp:72,rs:2,re:2,lprp:71,lprs:1,a:8
[7/0]bbbbbbb2414lf:1156,rf:1190,rs:68,a:12
[7/1]abbbbbb1282lf:69,lp:69,rf:70,rp:70,rs:2,re:2,lprp:69,lprs:1,a:10
[8/0]bbbbbbbb2277lf:1089,rf:1122,rs:66,a:14
[8/1]abbbbbbb1274lf:67,lp:67,rf:68,rp:68,rs:2,re:2,lprp:67,lprs:1,a:12
[9/0]bbbbbbbbb2144lf:1024,rf:1056,rs:64,a:16
[9/1]abbbbbbbb1266lf:65,lp:65,rf:66,rp:66,rs:2,re:2,lprp:65,lprs:1,a:14
[10/0]bbbbbbbbbb2015lf:961,rf:992,rs:62,a:18
[10/1]abbbbbbbbb1258lf:63,lp:63,rf:64,rp:64,rs:2,re:2,lprp:63,lprs:1,a:16
[11/0]bbbbbbbbbbb1890lf:900,rf:930,rs:60,a:20
[11/1]abbbbbbbbbb1250lf:61,lp:61,rf:62,rp:62,rs:2,re:2,lprp:61,lprs:1,a:18
[12/0]bbbbbbbbbbbb1769lf:841,rf:870,rs:58,a:22
[12/1]abbbbbbbbbbb1242lf:59,lp:59,rf:60,rp:60,rs:2,re:2,lprp:59,lprs:1,a:20
[13/0]bbbbbbbbbbbbb1652lf:784,rf:812,rs:56,a:24
[13/1]abbbbbbbbbbbb1234lf:57,lp:57,rf:58,rp:58,rs:2,re:2,lprp:57,lprs:1,a:22

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

Step 2

Rewriting system is complete. See ⟨a, b | aab=ab, abaa=ab⟩.