Morphocompletion for #15953 ⟨a, b | aaa=aa, aaba=ab⟩

Back:⟨a, b | aaa=aa, aaba=ab⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aaa ⇒ aa
2. aab ⇒ ab
3. aba ⇒ ab
4. abba ⇒ abb
5. abbba ⇒ abbb
6. abbbba ⇒ abbbb
7. abbbbba ⇒ abbbbb
8. abbbbbba ⇒ abbbbbb
9. abbbbbbba ⇒ abbbbbbb
10. abbbbbbbba ⇒ abbbbbbbb
11. abbbbbbbbba ⇒ abbbbbbbbb
12. abbbbbbbbbba ⇒ abbbbbbbbbb
13. abbbbbbbbbbba ⇒ abbbbbbbbbbb
14. abbbbbbbbbbbba ⇒ abbbbbbbbbbbb
15. abbbbbbbbbbbbba ⇒ abbbbbbbbbbbbb
16. abbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbb
17. abbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbb
18. abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbb
19. abbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbb
20. abbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbb
21. abbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbb
22. abbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbb
23. abbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbb
24. abbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbb
25. abbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbb
26. abbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
27. abbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb
28. abbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
29. abbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb
30. abbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
31. abbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
49. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
50. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
51. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
53. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
66. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb4095lf:2016,rf:2016,rs:63,a:4
[2/1]ab2264lf:65,lp:64,ls:1,rf:65,rp:65,rs:2,re:2,lprp:64,lsrp:1,lprs:1,lsrs:1,a:2
[3/0]bbb3968lf:1953,rf:1953,rs:62,a:5
[3/1]abb1254lf:63,lp:63,rf:63,rp:63,rs:1,re:1,lprp:63,lprs:1,a:4
[4/0]bbbb3843lf:1891,rf:1891,rs:61,a:6
[4/1]abbb1250lf:62,lp:62,rf:62,rp:62,rs:1,re:1,lprp:62,lprs:1,a:5
[5/0]bbbbb3720lf:1830,rf:1830,rs:60,a:7
[5/1]abbbb1246lf:61,lp:61,rf:61,rp:61,rs:1,re:1,lprp:61,lprs:1,a:6
[6/0]bbbbbb3599lf:1770,rf:1770,rs:59,a:8
[6/1]abbbbb1242lf:60,lp:60,rf:60,rp:60,rs:1,re:1,lprp:60,lprs:1,a:7
[7/0]bbbbbbb3480lf:1711,rf:1711,rs:58,a:9
[7/1]abbbbbb1238lf:59,lp:59,rf:59,rp:59,rs:1,re:1,lprp:59,lprs:1,a:8
[8/0]bbbbbbbb3363lf:1653,rf:1653,rs:57,a:10
[8/1]abbbbbbb1234lf:58,lp:58,rf:58,rp:58,rs:1,re:1,lprp:58,lprs:1,a:9
[9/0]bbbbbbbbb3248lf:1596,rf:1596,rs:56,a:11
[9/1]abbbbbbbb1230lf:57,lp:57,rf:57,rp:57,rs:1,re:1,lprp:57,lprs:1,a:10
[10/0]bbbbbbbbbb3135lf:1540,rf:1540,rs:55,a:12
[10/1]abbbbbbbbb1226lf:56,lp:56,rf:56,rp:56,rs:1,re:1,lprp:56,lprs:1,a:11
[11/0]bbbbbbbbbbb3024lf:1485,rf:1485,rs:54,a:13
[11/1]abbbbbbbbbb1222lf:55,lp:55,rf:55,rp:55,rs:1,re:1,lprp:55,lprs:1,a:12
[12/0]bbbbbbbbbbbb2915lf:1431,rf:1431,rs:53,a:14
[12/1]abbbbbbbbbbb1218lf:54,lp:54,rf:54,rp:54,rs:1,re:1,lprp:54,lprs:1,a:13
[13/0]bbbbbbbbbbbbb2808lf:1378,rf:1378,rs:52,a:15
[13/1]abbbbbbbbbbbb1214lf:53,lp:53,rf:53,rp:53,rs:1,re:1,lprp:53,lprs:1,a:14

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

Step 2

Rewriting system is complete. See ⟨a, b | aaa=aa, aaba=ab⟩.