Morphocompletion for #13265 ⟨a, b | bab=abb, bbb=bb⟩

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

Solved by morph:2/0. (See Morphocompletion.)

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. bbb ⇒ bb
2. abb ⇒ bab
3. bbab ⇒ bab
4. babab ⇒ abab
5. baabab ⇒ aabab
6. baaabab ⇒ aaabab
7. baaaabab ⇒ aaaabab
8. baaaaabab ⇒ aaaaabab
9. baaaaaabab ⇒ aaaaaabab
10. baaaaaaabab ⇒ aaaaaaabab
11. baaaaaaaabab ⇒ aaaaaaaabab
12. baaaaaaaaabab ⇒ aaaaaaaaabab
13. baaaaaaaaaabab ⇒ aaaaaaaaaabab
14. baaaaaaaaaaabab ⇒ aaaaaaaaaaabab
15. baaaaaaaaaaaabab ⇒ aaaaaaaaaaaabab
16. baaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaabab
17. baaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaabab
18. baaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaabab
19. baaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaabab
20. baaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaabab
21. baaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaabab
22. baaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaabab
23. baaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaabab
24. baaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaabab
25. baaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaabab
26. baaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaabab
27. baaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaabab
28. baaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaabab
29. baaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaabab
30. baaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaabab
31. baaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaabab
32. baaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
33. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
34. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
35. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
36. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
37. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
38. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
39. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
40. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
41. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
42. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
43. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
44. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
45. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
46. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
47. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
48. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
49. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
50. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
51. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
52. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
53. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
54. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
55. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
56. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
57. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
58. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
59. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
60. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
61. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
62. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
63. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
64. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
65. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
66. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
...

Collecting factors up to length 14 / frequency 2:

[2/0]ab11387lf:128,lp:1,ls:64,rf:128,rp:1,rs:65,lsrp:1,lprs:10,lsrs:64
[2/1]aa3968lf:1953,rf:1953,rp:62,a:5
[3/0]aaa3843lf:1891,rf:1891,rp:61,a:6
[3/1]bab2264lf:65,lp:1,ls:64,rf:65,rp:2,rs:65,re:2,lsrp:1,lprs:1,lsrs:64
[4/0]aaaa3720lf:1830,rf:1830,rp:60,a:7
[4/1]abab1254lf:63,ls:63,rf:63,rp:1,rs:63,re:1,lsrp:1,lsrs:63,a:3
[5/0]aaaaa3599lf:1770,rf:1770,rp:59,a:8
[5/1]aabab1250lf:62,ls:62,rf:62,rp:1,rs:62,re:1,lsrp:1,lsrs:62,a:5
[6/0]aaaaaa3480lf:1711,rf:1711,rp:58,a:9
[6/1]aaabab1246lf:61,ls:61,rf:61,rp:1,rs:61,re:1,lsrp:1,lsrs:61,a:6
[7/0]aaaaaaa3363lf:1653,rf:1653,rp:57,a:10
[7/1]aaaabab1242lf:60,ls:60,rf:60,rp:1,rs:60,re:1,lsrp:1,lsrs:60,a:7
[8/0]aaaaaaaa3248lf:1596,rf:1596,rp:56,a:11
[8/1]aaaaabab1238lf:59,ls:59,rf:59,rp:1,rs:59,re:1,lsrp:1,lsrs:59,a:8
[9/0]aaaaaaaaa3135lf:1540,rf:1540,rp:55,a:12
[9/1]aaaaaabab1234lf:58,ls:58,rf:58,rp:1,rs:58,re:1,lsrp:1,lsrs:58,a:9
[10/0]aaaaaaaaaa3024lf:1485,rf:1485,rp:54,a:13
[10/1]aaaaaaabab1230lf:57,ls:57,rf:57,rp:1,rs:57,re:1,lsrp:1,lsrs:57,a:10
[11/0]aaaaaaaaaaa2915lf:1431,rf:1431,rp:53,a:14
[11/1]aaaaaaaabab1226lf:56,ls:56,rf:56,rp:1,rs:56,re:1,lsrp:1,lsrs:56,a:11
[12/0]aaaaaaaaaaaa2808lf:1378,rf:1378,rp:52,a:15
[12/1]aaaaaaaaabab1222lf:55,ls:55,rf:55,rp:1,rs:55,re:1,lsrp:1,lsrs:55,a:12
[13/0]aaaaaaaaaaaaa2703lf:1326,rf:1326,rp:51,a:16
[13/1]aaaaaaaaaabab1218lf:54,ls:54,rf:54,rp:1,rs:54,re:1,lsrp:1,lsrs:54,a:13

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

Step 2

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