Morphocompletion for #6248 ⟨a, b | aaa=a, aabab=a⟩

Back:⟨a, b | aaa=a, aabab=a⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

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

Collecting factors up to length 14, frequency 2:

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

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

Step 2

Rewriting system is complete. See ⟨a, b | aaa=a, aabab=a⟩.