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

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

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 ⇒ b
2. bab ⇒ abb
3. baab ⇒ aabb
4. baaab ⇒ aaabb
5. baaaab ⇒ aaaabb
6. baaaaab ⇒ aaaaabb
7. baaaaaab ⇒ aaaaaabb
8. baaaaaaab ⇒ aaaaaaabb
9. baaaaaaaab ⇒ aaaaaaaabb
10. baaaaaaaaab ⇒ aaaaaaaaabb
11. baaaaaaaaaab ⇒ aaaaaaaaaabb
12. baaaaaaaaaaab ⇒ aaaaaaaaaaabb
13. baaaaaaaaaaaab ⇒ aaaaaaaaaaaabb
14. baaaaaaaaaaaaab ⇒ aaaaaaaaaaaaabb
15. baaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaabb
16. baaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaabb
17. baaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaabb
18. baaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaabb
19. baaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaabb
20. baaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaabb
21. baaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaabb
22. baaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaabb
23. baaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaabb
24. baaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaabb
25. baaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaabb
26. baaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaabb
27. baaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaabb
28. baaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaabb
29. baaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaabb
30. baaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
31. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
32. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
33. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
34. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
35. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
36. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
37. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
38. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
39. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
40. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
41. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
42. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
43. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
44. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
45. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
46. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
47. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
48. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
49. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
50. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
51. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
52. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
53. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
54. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
55. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
56. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
57. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
58. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
59. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
60. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
61. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
62. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
63. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
64. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
...

Collecting factors up to length 14 / frequency 2:

[2/0]ab10190lf:63,ls:63,rf:63,rp:1,lsrp:10
[2/1]aa3968lf:1953,rf:1953,rp:62,a:3
[3/0]aab10187lf:62,ls:62,rf:62,rp:1,lsrp:10,a:3
[3/1]aaa3843lf:1891,rf:1891,rp:61,a:3
[4/0]aaab10184lf:61,ls:61,rf:61,rp:1,lsrp:10,a:3
[4/1]aaaa3720lf:1830,rf:1830,rp:60,a:9
[5/0]aaaab10181lf:60,ls:60,rf:60,rp:1,lsrp:10,a:9
[5/1]aaaaa3599lf:1770,rf:1770,rp:59,a:9
[6/0]aaaaab10178lf:59,ls:59,rf:59,rp:1,lsrp:10,a:9
[6/1]aaaaaa3480lf:1711,rf:1711,rp:58,a:11
[7/0]aaaaaab10175lf:58,ls:58,rf:58,rp:1,lsrp:10,a:11
[7/1]aaaaaaa3363lf:1653,rf:1653,rp:57,a:11
[8/0]aaaaaaab10172lf:57,ls:57,rf:57,rp:1,lsrp:10,a:11
[8/1]aaaaaaaa3248lf:1596,rf:1596,rp:56,a:21
[9/0]aaaaaaaab10169lf:56,ls:56,rf:56,rp:1,lsrp:10,a:21
[9/1]aaaaaaaaa3135lf:1540,rf:1540,rp:55,a:21
[10/0]aaaaaaaaab10166lf:55,ls:55,rf:55,rp:1,lsrp:10,a:21
[10/1]aaaaaaaaaa3024lf:1485,rf:1485,rp:54,a:23
[11/0]aaaaaaaaaab10163lf:54,ls:54,rf:54,rp:1,lsrp:10,a:23
[11/1]aaaaaaaaaaa2915lf:1431,rf:1431,rp:53,a:23
[12/0]aaaaaaaaaaab10160lf:53,ls:53,rf:53,rp:1,lsrp:10,a:23
[12/1]aaaaaaaaaaaa2808lf:1378,rf:1378,rp:52,a:25
[13/0]aaaaaaaaaaaab10157lf:52,ls:52,rf:52,rp:1,lsrp:10,a:25
[13/1]aaaaaaaaaaaaa2703lf:1326,rf:1326,rp:51,a:25

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

Step 2

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