Morphocompletion for #4739 ⟨a, b | aabb=a, bbaa=a⟩

Back:⟨a, b | aabb=a, bbaa=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. abb ⇒ bba
2. bbaa ⇒ a
3. aaba ⇒ abaa
4. bbabaa ⇒ aba
5. bbababaa ⇒ ababa
6. bbabababaa ⇒ abababa
7. bbababababaa ⇒ ababababa
8. bbabababababaa ⇒ abababababa
9. bbababababababaa ⇒ ababababababa
10. bbabababababababaa ⇒ abababababababa
11. bbababababababababaa ⇒ ababababababababa
12. bbabababababababababaa ⇒ abababababababababa
13. bbababababababababababaa ⇒ ababababababababababa
14. bbabababababababababababaa ⇒ abababababababababababa
15. bbababababababababababababaa ⇒ ababababababababababababa
16. bbabababababababababababababaa ⇒ abababababababababababababa
17. bbababababababababababababababaa ⇒ ababababababababababababababa
18. bbabababababababababababababababaa ⇒ abababababababababababababababa
19. bbababababababababababababababababaa ⇒ ababababababababababababababababa
20. bbabababababababababababababababababaa ⇒ abababababababababababababababababa
21. bbababababababababababababababababababaa ⇒ ababababababababababababababababababa
22. bbabababababababababababababababababababaa ⇒ abababababababababababababababababababa
23. bbababababababababababababababababababababaa ⇒ ababababababababababababababababababababa
24. bbabababababababababababababababababababababaa ⇒ abababababababababababababababababababababa
25. bbababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababa
26. bbabababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababa
27. bbababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababa
28. bbabababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababa
29. bbababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababa
30. bbabababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababa
31. bbababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababa
32. bbabababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababa
33. bbababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababa
34. bbabababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababa
35. bbababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababa
36. bbabababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababa
37. bbababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababa
38. bbabababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababa
39. bbababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababa
40. bbabababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababa
41. bbababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababa
42. bbabababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababa
43. bbababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababa
44. bbabababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababa
45. bbababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababa
46. bbabababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababa
47. bbababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababa
48. bbabababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababa
49. bbababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababa
50. bbabababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababa
51. bbababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababa
52. bbabababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababa
53. bbababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababa
54. bbabababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababa
55. bbababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababa
56. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababa
57. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababa
58. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababa
59. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
60. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
61. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
62. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
63. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
64. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
65. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
66. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
67. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
68. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
69. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
70. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
71. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
72. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
73. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
74. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
75. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
76. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
77. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
78. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
79. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ba
Length 3:[3/0] aba, [3/1] bab
Length 4:[4/0] baba, [4/1] abab
Length 5:[5/0] ababa, [5/1] babab
Length 6:[6/0] bababa, [6/1] ababab
Length 7:[7/0] abababa, [7/1] bababab
Length 8:[8/0] babababa, [8/1] abababab
Length 9:[9/0] ababababa, [9/1] babababab
Length 10:[10/0] bababababa, [10/1] ababababab
Length 11:[11/0] abababababa, [11/1] bababababab
Length 12:[12/0] babababababa, [12/1] abababababab
Length 13:[13/0] ababababababa, [13/1] babababababab

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

Step 2

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