Morphocompletion for #1697 ⟨a, b | bab=ab, bbb=b⟩

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

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. bab ⇒ ab
2. bbb ⇒ b
3. baab ⇒ aab
4. baaab ⇒ aaab
5. baaaab ⇒ aaaab
6. baaaaab ⇒ aaaaab
7. baaaaaab ⇒ aaaaaab
8. baaaaaaab ⇒ aaaaaaab
9. baaaaaaaab ⇒ aaaaaaaab
10. baaaaaaaaab ⇒ aaaaaaaaab
11. baaaaaaaaaab ⇒ aaaaaaaaaab
12. baaaaaaaaaaab ⇒ aaaaaaaaaaab
13. baaaaaaaaaaaab ⇒ aaaaaaaaaaaab
14. baaaaaaaaaaaaab ⇒ aaaaaaaaaaaaab
15. baaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaab
16. baaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaab
17. baaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaab
18. baaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaab
19. baaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaab
20. baaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaab
21. baaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaab
22. baaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaab
23. baaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaab
24. baaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaab
25. baaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaab
26. baaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaab
27. baaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaab
28. baaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaab
29. baaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaab
30. baaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaab
31. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
32. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
33. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
34. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
35. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
36. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
37. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
38. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
39. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
40. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
41. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
42. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
43. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
44. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
45. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
46. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
47. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
48. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
49. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
50. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
51. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
52. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
53. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
54. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
55. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
56. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
57. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
58. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
59. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
60. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
61. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
62. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
63. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
64. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
65. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
...

Collecting factors up to length 14 / frequency 2:

[2/0]aa4095lf:2016,rf:2016,rp:63,a:2
[2/1]ab1258lf:64,ls:64,rf:64,rp:1,rs:64,re:1,lsrp:1,lsrs:64
[3/0]aaa3968lf:1953,rf:1953,rp:62,a:3
[3/1]aab1254lf:63,ls:63,rf:63,rp:1,rs:63,re:1,lsrp:1,lsrs:63,a:2
[4/0]aaaa3843lf:1891,rf:1891,rp:61,a:4
[4/1]aaab1250lf:62,ls:62,rf:62,rp:1,rs:62,re:1,lsrp:1,lsrs:62,a:3
[5/0]aaaaa3720lf:1830,rf:1830,rp:60,a:5
[5/1]aaaab1246lf:61,ls:61,rf:61,rp:1,rs:61,re:1,lsrp:1,lsrs:61,a:4
[6/0]aaaaaa3599lf:1770,rf:1770,rp:59,a:6
[6/1]aaaaab1242lf:60,ls:60,rf:60,rp:1,rs:60,re:1,lsrp:1,lsrs:60,a:5
[7/0]aaaaaaa3480lf:1711,rf:1711,rp:58,a:7
[7/1]aaaaaab1238lf:59,ls:59,rf:59,rp:1,rs:59,re:1,lsrp:1,lsrs:59,a:6
[8/0]aaaaaaaa3363lf:1653,rf:1653,rp:57,a:8
[8/1]aaaaaaab1234lf:58,ls:58,rf:58,rp:1,rs:58,re:1,lsrp:1,lsrs:58,a:7
[9/0]aaaaaaaaa3248lf:1596,rf:1596,rp:56,a:9
[9/1]aaaaaaaab1230lf:57,ls:57,rf:57,rp:1,rs:57,re:1,lsrp:1,lsrs:57,a:8
[10/0]aaaaaaaaaa3135lf:1540,rf:1540,rp:55,a:10
[10/1]aaaaaaaaab1226lf:56,ls:56,rf:56,rp:1,rs:56,re:1,lsrp:1,lsrs:56,a:9
[11/0]aaaaaaaaaaa3024lf:1485,rf:1485,rp:54,a:11
[11/1]aaaaaaaaaab1222lf:55,ls:55,rf:55,rp:1,rs:55,re:1,lsrp:1,lsrs:55,a:10
[12/0]aaaaaaaaaaaa2915lf:1431,rf:1431,rp:53,a:12
[12/1]aaaaaaaaaaab1218lf:54,ls:54,rf:54,rp:1,rs:54,re:1,lsrp:1,lsrs:54,a:11
[13/0]aaaaaaaaaaaaa2808lf:1378,rf:1378,rp:52,a:13
[13/1]aaaaaaaaaaaab1214lf:53,ls:53,rf:53,rp:1,rs:53,re:1,lsrp:1,lsrs:53,a:12

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

Step 2

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