Morphocompletion for #12454 ⟨a, b | aabb=ab, abaa=a⟩

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

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] bbbb, [4/1] abbb
Length 5:[5/0] bbbbb, [5/1] abbbb
Length 6:[6/0] bbbbbb, [6/1] abbbbb
Length 7:[7/0] bbbbbbb, [7/1] abbbbbb
Length 8:[8/0] bbbbbbbb, [8/1] abbbbbbb
Length 9:[9/0] bbbbbbbbb, [9/1] abbbbbbbb
Length 10:[10/0] bbbbbbbbbb, [10/1] abbbbbbbbb
Length 11:[11/0] bbbbbbbbbbb, [11/1] abbbbbbbbbb
Length 12:[12/0] bbbbbbbbbbbb, [12/1] abbbbbbbbbbb
Length 13:[13/0] abbbbbbbbbbbb, [13/1] bbbbbbbbbbbbb

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

Step 2

Rewriting system is complete. See ⟨a, b | aabb=ab, abaa=a⟩.