Morphocompletion for #12637 ⟨a, b | babb=ba, bbbb=b⟩

Back:⟨a, b | babb=ba, bbbb=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 ⇒ ba
2. baab ⇒ baa
3. bbbb ⇒ b
4. baaab ⇒ baaa
5. baaaab ⇒ baaaa
6. baaaaab ⇒ baaaaa
7. baaaaaab ⇒ baaaaaa
8. baaaaaaab ⇒ baaaaaaa
9. baaaaaaaab ⇒ baaaaaaaa
10. baaaaaaaaab ⇒ baaaaaaaaa
11. baaaaaaaaaab ⇒ baaaaaaaaaa
12. baaaaaaaaaaab ⇒ baaaaaaaaaaa
13. baaaaaaaaaaaab ⇒ baaaaaaaaaaaa
14. baaaaaaaaaaaaab ⇒ baaaaaaaaaaaaa
15. baaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaa
16. baaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaa
17. baaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaa
18. baaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaa
19. baaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaa
20. baaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaa
21. baaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaa
22. baaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaa
23. baaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaa
24. baaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaa
25. baaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaa
26. baaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaa
27. baaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaa
28. baaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaa
29. baaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaa
30. baaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaa
31. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
32. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
33. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
34. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
35. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
36. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
37. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
38. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
39. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
40. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
41. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
42. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
43. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
44. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
45. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
46. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
47. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
48. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
49. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
50. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
51. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
52. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
53. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
54. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
55. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
56. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
57. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
58. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
59. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
60. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
61. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
62. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
63. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
64. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
65. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
...

Collecting factors up to length 14 / frequency 2:

[2/0]aa4095lf:2016,rf:2016,rs:63,a:4
[2/1]ba1258lf:64,lp:64,rf:64,rp:64,rs:1,re:1,lprp:64,lprs:1,a:3
[3/0]aaa3968lf:1953,rf:1953,rs:62,a:5
[3/1]baa1254lf:63,lp:63,rf:63,rp:63,rs:1,re:1,lprp:63,lprs:1,a:4
[4/0]aaaa3843lf:1891,rf:1891,rs:61,a:6
[4/1]baaa1250lf:62,lp:62,rf:62,rp:62,rs:1,re:1,lprp:62,lprs:1,a:5
[5/0]aaaaa3720lf:1830,rf:1830,rs:60,a:7
[5/1]baaaa1246lf:61,lp:61,rf:61,rp:61,rs:1,re:1,lprp:61,lprs:1,a:6
[6/0]aaaaaa3599lf:1770,rf:1770,rs:59,a:8
[6/1]baaaaa1242lf:60,lp:60,rf:60,rp:60,rs:1,re:1,lprp:60,lprs:1,a:7
[7/0]aaaaaaa3480lf:1711,rf:1711,rs:58,a:9
[7/1]baaaaaa1238lf:59,lp:59,rf:59,rp:59,rs:1,re:1,lprp:59,lprs:1,a:8
[8/0]aaaaaaaa3363lf:1653,rf:1653,rs:57,a:10
[8/1]baaaaaaa1234lf:58,lp:58,rf:58,rp:58,rs:1,re:1,lprp:58,lprs:1,a:9
[9/0]aaaaaaaaa3248lf:1596,rf:1596,rs:56,a:11
[9/1]baaaaaaaa1230lf:57,lp:57,rf:57,rp:57,rs:1,re:1,lprp:57,lprs:1,a:10
[10/0]aaaaaaaaaa3135lf:1540,rf:1540,rs:55,a:12
[10/1]baaaaaaaaa1226lf:56,lp:56,rf:56,rp:56,rs:1,re:1,lprp:56,lprs:1,a:11
[11/0]aaaaaaaaaaa3024lf:1485,rf:1485,rs:54,a:13
[11/1]baaaaaaaaaa1222lf:55,lp:55,rf:55,rp:55,rs:1,re:1,lprp:55,lprs:1,a:12
[12/0]aaaaaaaaaaaa2915lf:1431,rf:1431,rs:53,a:14
[12/1]baaaaaaaaaaa1218lf:54,lp:54,rf:54,rp:54,rs:1,re:1,lprp:54,lprs:1,a:13
[13/0]aaaaaaaaaaaaa2808lf:1378,rf:1378,rs:52,a:15
[13/1]baaaaaaaaaaaa1214lf:53,lp:53,rf:53,rp:53,rs:1,re:1,lprp:53,lprs:1,a:14

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

Step 2

Rewriting system is complete. See ⟨a, b | babb=ba, bbbb=b⟩.