Morphocompletion for #19248 ⟨a, b | aaa=a, aabaa=ab⟩

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

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] ab, [2/1] bb
Length 3:[3/0] bbb, [3/1] abb
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, aabaa=ab⟩.