Morphocompletion for #14585 ⟨a, b | aaba=a, bbaaa=a⟩

Back:⟨a, b | aaba=a, bbaaa=a⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaba ⇒ a
2. abaa ⇒ a
3. abba ⇒ aba
4. bbaa ⇒ aba
5. ababa ⇒ bba
6. bbaba ⇒ abbba
7. aabbba ⇒ bba
8. abbbba ⇒ abbba
9. ababbba ⇒ bbbba
10. bbabbba ⇒ abbbbba
11. aabbbbba ⇒ bbbba
12. abbbbbba ⇒ abbbbba
13. ababbbbba ⇒ bbbbbba
14. bbabbbbba ⇒ abbbbbbba
15. aabbbbbbba ⇒ bbbbbba
16. abbbbbbbba ⇒ abbbbbbba
17. ababbbbbbba ⇒ bbbbbbbba
18. bbabbbbbbba ⇒ abbbbbbbbba
19. aabbbbbbbbba ⇒ bbbbbbbba
20. abbbbbbbbbba ⇒ abbbbbbbbba
21. ababbbbbbbbba ⇒ bbbbbbbbbba
22. bbabbbbbbbbba ⇒ abbbbbbbbbbba
23. aabbbbbbbbbbba ⇒ bbbbbbbbbba
24. abbbbbbbbbbbba ⇒ abbbbbbbbbbba
25. ababbbbbbbbbbba ⇒ bbbbbbbbbbbba
26. bbabbbbbbbbbbba ⇒ abbbbbbbbbbbbba
27. aabbbbbbbbbbbbba ⇒ bbbbbbbbbbbba
28. abbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbba
29. ababbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
30. bbabbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbba
31. aabbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
32. abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbba
33. ababbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
34. bbabbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbba
35. aabbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
36. abbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbba
37. ababbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
38. bbabbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbba
39. aabbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
40. abbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbba
41. ababbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
42. bbabbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbba
43. aabbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
44. abbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbba
45. ababbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
46. bbabbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbba
47. aabbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
48. abbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbba
49. ababbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
50. bbabbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbba
51. aabbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
52. abbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbba
53. ababbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
54. bbabbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbba
55. aabbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbba
57. ababbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
58. bbabbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbba
59. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbba
61. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
62. bbabbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
63. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
65. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
66. bbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
67. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
68. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
69. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
70. bbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
71. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
72. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
73. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
74. bbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
75. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
76. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
77. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
78. bbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
79. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ba
Length 3:[3/0] bba, [3/1] bbb
Length 4:[4/0] bbbb, [4/1] bbba
Length 5:[5/0] bbbba, [5/1] bbbbb
Length 6:[6/0] bbbbbb, [6/1] bbbbba
Length 7:[7/0] bbbbbba, [7/1] bbbbbbb
Length 8:[8/0] bbbbbbbb, [8/1] bbbbbbba
Length 9:[9/0] bbbbbbbba, [9/1] bbbbbbbbb
Length 10:[10/0] bbbbbbbbbb, [10/1] bbbbbbbbba
Length 11:[11/0] bbbbbbbbbba, [11/1] bbbbbbbbbbb
Length 12:[12/0] bbbbbbbbbbbb, [12/1] bbbbbbbbbbba
Length 13:[13/0] bbbbbbbbbbbba, [13/1] bbbbbbbbbbbbb

Considering [length 3 / frequency 0] bba=c.

Step 2

Rewriting system is complete. See ⟨a, b | aaba=a, bbaaa=a⟩.