Morphocompletion for #13054 ⟨a, b | baa=aab, abba=a⟩

Back:⟨a, b | baa=aab, abba=a⟩

Solved by morph:7/1. (See Morphocompletion.)

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. baa ⇒ aab
2. aaba ⇒ aaab
3. abba ⇒ a
4. aaabb ⇒ aa
5. aabbba ⇒ aab
6. aabbbba ⇒ aabb
7. aabbbbba ⇒ aabbb
8. aabbbbbba ⇒ aabbbb
9. aabbbbbbba ⇒ aabbbbb
10. aabbbbbbbba ⇒ aabbbbbb
11. aabbbbbbbbba ⇒ aabbbbbbb
12. aabbbbbbbbbba ⇒ aabbbbbbbb
13. aabbbbbbbbbbba ⇒ aabbbbbbbbb
14. aabbbbbbbbbbbba ⇒ aabbbbbbbbbb
15. aabbbbbbbbbbbbba ⇒ aabbbbbbbbbbb
16. aabbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbb
17. aabbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbb
18. aabbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbb
19. aabbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbb
20. aabbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbb
21. aabbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbb
22. aabbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbb
23. aabbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbb
24. aabbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbb
25. aabbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbb
26. aabbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbb
27. aabbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbb
28. aabbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbb
29. aabbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbb
30. aabbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbb
31. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbb
32. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbb
33. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbb
34. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
35. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
36. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
37. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
38. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
39. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
41. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
43. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
47. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
49. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
50. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
51. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
53. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
55. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
56. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
66. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
67. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
68. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
69. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
70. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
71. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
72. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
73. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
74. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
75. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
76. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
77. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
78. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
79. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
80. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] aa, [2/1] bb
Length 3:[3/0] aab, [3/1] bbb
Length 4:[4/0] bbbb, [4/1] aabb
Length 5:[5/0] bbbbb, [5/1] aabbb
Length 6:[6/0] bbbbbb, [6/1] aabbbb
Length 7:[7/0] bbbbbbb, [7/1] aabbbbb
Length 8:[8/0] bbbbbbbb, [8/1] aabbbbbb
Length 9:[9/0] bbbbbbbbb, [9/1] aabbbbbbb
Length 10:[10/0] bbbbbbbbbb, [10/1] aabbbbbbbb
Length 11:[11/0] bbbbbbbbbbb, [11/1] aabbbbbbbbb
Length 12:[12/0] bbbbbbbbbbbb, [12/1] aabbbbbbbbbb
Length 13:[13/0] bbbbbbbbbbbbb, [13/1] aabbbbbbbbbbb

Considering [length 7 / frequency 1] aabbbbb=c.

Step 2

Rewriting system is complete. See ⟨a, b | baa=aab, abba=a⟩.