Morphocompletion for #13272 ⟨a, b | bba=abb, bbb=bb⟩

Back:⟨a, b | bba=abb, bbb=bb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bba ⇒ abb
2. bbb ⇒ bb
3. babb ⇒ abb
4. baabb ⇒ aabb
5. baaabb ⇒ aaabb
6. baaaabb ⇒ aaaabb
7. baaaaabb ⇒ aaaaabb
8. baaaaaabb ⇒ aaaaaabb
9. baaaaaaabb ⇒ aaaaaaabb
10. baaaaaaaabb ⇒ aaaaaaaabb
11. baaaaaaaaabb ⇒ aaaaaaaaabb
12. baaaaaaaaaabb ⇒ aaaaaaaaaabb
13. baaaaaaaaaaabb ⇒ aaaaaaaaaaabb
14. baaaaaaaaaaaabb ⇒ aaaaaaaaaaaabb
15. baaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaabb
16. baaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaabb
17. baaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaabb
18. baaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaabb
19. baaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaabb
20. baaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaabb
21. baaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaabb
22. baaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaabb
23. baaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaabb
24. baaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaabb
25. baaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaabb
26. baaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaabb
27. baaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaabb
28. baaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaabb
29. baaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaabb
30. baaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaabb
31. baaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
32. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
33. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
34. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
35. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
36. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
37. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
38. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
39. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
40. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
41. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
42. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
43. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
44. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
45. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
46. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
47. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
48. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
49. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
50. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
51. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
52. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
53. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
54. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
55. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
56. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
57. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
58. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
59. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
60. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
61. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
62. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
63. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
64. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
65. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
66. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
67. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
68. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
69. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
70. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
71. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
72. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
73. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
74. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
75. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
76. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
77. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
78. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
79. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
80. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb12324lf:81,lp:2,ls:79,rf:80,rp:1,rs:80,re:1,lprp:1,lsrp:1,lprs:11,lsrs:79
[2/1]aa6083lf:3003,rf:3003,rp:77,a:3
[3/0]aaa5928lf:2926,rf:2926,rp:76,a:4
[3/1]abb1318lf:78,ls:78,rf:79,rp:2,rs:79,re:2,lsrp:1,lsrs:78
[4/0]aaaa5775lf:2850,rf:2850,rp:75,a:5
[4/1]aabb1310lf:77,ls:77,rf:77,rp:1,rs:77,re:1,lsrp:1,lsrs:77,a:3
[5/0]aaaaa5624lf:2775,rf:2775,rp:74,a:6
[5/1]aaabb1306lf:76,ls:76,rf:76,rp:1,rs:76,re:1,lsrp:1,lsrs:76,a:4
[6/0]aaaaaa5475lf:2701,rf:2701,rp:73,a:7
[6/1]aaaabb1302lf:75,ls:75,rf:75,rp:1,rs:75,re:1,lsrp:1,lsrs:75,a:5
[7/0]aaaaaaa5328lf:2628,rf:2628,rp:72,a:8
[7/1]aaaaabb1298lf:74,ls:74,rf:74,rp:1,rs:74,re:1,lsrp:1,lsrs:74,a:6
[8/0]aaaaaaaa5183lf:2556,rf:2556,rp:71,a:9
[8/1]aaaaaabb1294lf:73,ls:73,rf:73,rp:1,rs:73,re:1,lsrp:1,lsrs:73,a:7
[9/0]aaaaaaaaa5040lf:2485,rf:2485,rp:70,a:10
[9/1]aaaaaaabb1290lf:72,ls:72,rf:72,rp:1,rs:72,re:1,lsrp:1,lsrs:72,a:8
[10/0]aaaaaaaaaa4899lf:2415,rf:2415,rp:69,a:11
[10/1]aaaaaaaabb1286lf:71,ls:71,rf:71,rp:1,rs:71,re:1,lsrp:1,lsrs:71,a:9
[11/0]aaaaaaaaaaa4760lf:2346,rf:2346,rp:68,a:12
[11/1]aaaaaaaaabb1282lf:70,ls:70,rf:70,rp:1,rs:70,re:1,lsrp:1,lsrs:70,a:10
[12/0]aaaaaaaaaaaa4623lf:2278,rf:2278,rp:67,a:13
[12/1]aaaaaaaaaabb1278lf:69,ls:69,rf:69,rp:1,rs:69,re:1,lsrp:1,lsrs:69,a:11
[13/0]aaaaaaaaaaaaa4488lf:2211,rf:2211,rp:66,a:14
[13/1]aaaaaaaaaaabb1274lf:68,ls:68,rf:68,rp:1,rs:68,re:1,lsrp:1,lsrs:68,a:12

Considering [length 3 / frequency 1] abb=c.

Step 2

Rewriting system is complete. See ⟨a, b | bba=abb, bbb=bb⟩.