Morphocompletion for #6828 ⟨a, b | aba=a, baa=aab⟩

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

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

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

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] aa, [2/1] bb
Length 3:[3/0] bbb, [3/1] aab
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 5 / frequency 1] aabbb=c.

Step 2

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