Morphocompletion for #6342 ⟨a, b | aab=a, abbaa=a⟩

Back:⟨a, b | aab=a, abbaa=a⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

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

Collecting factors up to length 14 / frequency 2:

[2/0]bb4159lf:2080,rf:2016,rs:63,a:3
[2/1]ab1262lf:66,lp:65,ls:1,rf:64,rp:64,rs:1,re:1,lprp:64,lprs:1
[3/0]bbb4031lf:2016,rf:1953,rs:62,a:5
[3/1]abb1256lf:64,lp:64,rf:63,rp:63,rs:1,re:1,lprp:63,lprs:1,a:3
[4/0]bbbb3905lf:1953,rf:1891,rs:61,a:6
[4/1]abbb1252lf:63,lp:63,rf:62,rp:62,rs:1,re:1,lprp:62,lprs:1,a:5
[5/0]bbbbb3781lf:1891,rf:1830,rs:60,a:7
[5/1]abbbb1248lf:62,lp:62,rf:61,rp:61,rs:1,re:1,lprp:61,lprs:1,a:6
[6/0]bbbbbb3659lf:1830,rf:1770,rs:59,a:8
[6/1]abbbbb1244lf:61,lp:61,rf:60,rp:60,rs:1,re:1,lprp:60,lprs:1,a:7
[7/0]bbbbbbb3539lf:1770,rf:1711,rs:58,a:9
[7/1]abbbbbb1240lf:60,lp:60,rf:59,rp:59,rs:1,re:1,lprp:59,lprs:1,a:8
[8/0]bbbbbbbb3421lf:1711,rf:1653,rs:57,a:10
[8/1]abbbbbbb1236lf:59,lp:59,rf:58,rp:58,rs:1,re:1,lprp:58,lprs:1,a:9
[9/0]bbbbbbbbb3305lf:1653,rf:1596,rs:56,a:11
[9/1]abbbbbbbb1232lf:58,lp:58,rf:57,rp:57,rs:1,re:1,lprp:57,lprs:1,a:10
[10/0]bbbbbbbbbb3191lf:1596,rf:1540,rs:55,a:12
[10/1]abbbbbbbbb1228lf:57,lp:57,rf:56,rp:56,rs:1,re:1,lprp:56,lprs:1,a:11
[11/0]bbbbbbbbbbb3079lf:1540,rf:1485,rs:54,a:13
[11/1]abbbbbbbbbb1224lf:56,lp:56,rf:55,rp:55,rs:1,re:1,lprp:55,lprs:1,a:12
[12/0]bbbbbbbbbbbb2969lf:1485,rf:1431,rs:53,a:14
[12/1]abbbbbbbbbbb1220lf:55,lp:55,rf:54,rp:54,rs:1,re:1,lprp:54,lprs:1,a:13
[13/0]bbbbbbbbbbbbb2861lf:1431,rf:1378,rs:52,a:15
[13/1]abbbbbbbbbbbb1216lf:54,lp:54,rf:53,rp:53,rs:1,re:1,lprp:53,lprs:1,a:14

Considering [length 3 / frequency 1] abb=c.

Step 2

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