Morphocompletion for #12932 ⟨a, b | aba=aab, aaaa=a⟩

Back:⟨a, b | aba=aab, aaaa=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. aab ⇒ aba
4. abbaaa ⇒ abb
5. abab ⇒ abba
6. abbbaaa ⇒ abbb
7. abbab ⇒ abbba
8. abbbbaaa ⇒ abbbb
9. abbbab ⇒ abbbba
10. abbbbbaaa ⇒ abbbbb
11. abbbbab ⇒ abbbbba
12. abbbbbbaaa ⇒ abbbbbb
13. abbbbbab ⇒ abbbbbba
14. abbbbbbbaaa ⇒ abbbbbbb
15. abbbbbbab ⇒ abbbbbbba
16. abbbbbbbbaaa ⇒ abbbbbbbb
17. abbbbbbbab ⇒ abbbbbbbba
18. abbbbbbbbbaaa ⇒ abbbbbbbbb
19. abbbbbbbbab ⇒ abbbbbbbbba
20. abbbbbbbbbbaaa ⇒ abbbbbbbbbb
21. abbbbbbbbbab ⇒ abbbbbbbbbba
22. abbbbbbbbbbbaaa ⇒ abbbbbbbbbbb
23. abbbbbbbbbbab ⇒ abbbbbbbbbbba
24. abbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbb
25. abbbbbbbbbbbab ⇒ abbbbbbbbbbbba
26. abbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbb
27. abbbbbbbbbbbbab ⇒ abbbbbbbbbbbbba
28. abbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbb
29. abbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbba
30. abbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbb
31. abbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbba
32. abbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbb
33. abbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbba
34. abbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbb
35. abbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbba
36. abbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbb
37. abbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbba
38. abbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbb
39. abbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbba
40. abbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbb
41. abbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbba
42. abbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbb
43. abbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbba
44. abbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbb
45. abbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbba
46. abbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbb
47. abbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbba
48. abbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
49. abbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbba
50. abbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb
51. abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbba
52. abbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
53. abbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbba
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb
55. abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbba
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbba
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbba
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
66. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

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