Morphocompletion for #14339 ⟨a, b | aaaa=a, aabab=a⟩

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

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 | aaaa=a, aabab=a⟩.