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:

[2/0]aa11319lf:80,lp:78,ls:1,rf:79,rp:79,rs:1,re:1,lprp:78,lsrp:10,lprs:1,a:1
[2/1]bb6005lf:3003,rf:2926,rs:76,a:3
[3/0]bbb5851lf:2926,rf:2850,rs:75,a:4
[3/1]aab1316lf:78,lp:77,ls:1,rf:78,rp:78,rs:2,re:2,lprp:77,lprs:1,a:1
[4/0]bbbb5699lf:2850,rf:2775,rs:74,a:5
[4/1]aabb1308lf:77,lp:77,rf:76,rp:76,rs:1,re:1,lprp:76,lprs:1,a:3
[5/0]bbbbb5549lf:2775,rf:2701,rs:73,a:6
[5/1]aabbb1304lf:76,lp:76,rf:75,rp:75,rs:1,re:1,lprp:75,lprs:1,a:4
[6/0]bbbbbb5401lf:2701,rf:2628,rs:72,a:7
[6/1]aabbbb1300lf:75,lp:75,rf:74,rp:74,rs:1,re:1,lprp:74,lprs:1,a:5
[7/0]bbbbbbb5255lf:2628,rf:2556,rs:71,a:8
[7/1]aabbbbb1296lf:74,lp:74,rf:73,rp:73,rs:1,re:1,lprp:73,lprs:1,a:6
[8/0]bbbbbbbb5111lf:2556,rf:2485,rs:70,a:9
[8/1]aabbbbbb1292lf:73,lp:73,rf:72,rp:72,rs:1,re:1,lprp:72,lprs:1,a:7
[9/0]bbbbbbbbb4969lf:2485,rf:2415,rs:69,a:10
[9/1]aabbbbbbb1288lf:72,lp:72,rf:71,rp:71,rs:1,re:1,lprp:71,lprs:1,a:8
[10/0]bbbbbbbbbb4829lf:2415,rf:2346,rs:68,a:11
[10/1]aabbbbbbbb1284lf:71,lp:71,rf:70,rp:70,rs:1,re:1,lprp:70,lprs:1,a:9
[11/0]bbbbbbbbbbb4691lf:2346,rf:2278,rs:67,a:12
[11/1]aabbbbbbbbb1280lf:70,lp:70,rf:69,rp:69,rs:1,re:1,lprp:69,lprs:1,a:10
[12/0]bbbbbbbbbbbb4555lf:2278,rf:2211,rs:66,a:13
[12/1]aabbbbbbbbbb1276lf:69,lp:69,rf:68,rp:68,rs:1,re:1,lprp:68,lprs:1,a:11
[13/0]bbbbbbbbbbbbb4421lf:2211,rf:2145,rs:65,a:14
[13/1]aabbbbbbbbbbb1272lf:68,lp:68,rf:67,rp:67,rs:1,re:1,lprp:67,lprs:1,a:12

Considering [length 5 / frequency 1] aabbb=c.

Step 2

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