Morphocompletion for #19811 ⟨a, b | aaa=a, abab=bab⟩

Back:⟨a, b | aaa=a, abab=bab⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aaa ⇒ a
2. abab ⇒ bab
3. abbab ⇒ bbab
4. abbbab ⇒ bbbab
5. abbbbab ⇒ bbbbab
6. abbbbbab ⇒ bbbbbab
7. abbbbbbab ⇒ bbbbbbab
8. abbbbbbbab ⇒ bbbbbbbab
9. abbbbbbbbab ⇒ bbbbbbbbab
10. abbbbbbbbbab ⇒ bbbbbbbbbab
11. abbbbbbbbbbab ⇒ bbbbbbbbbbab
12. abbbbbbbbbbbab ⇒ bbbbbbbbbbbab
13. abbbbbbbbbbbbab ⇒ bbbbbbbbbbbbab
14. abbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbab
15. abbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbab
16. abbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbab
17. abbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbab
18. abbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbab
19. abbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbab
20. abbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbab
21. abbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbab
22. abbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbab
23. abbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbab
24. abbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbab
25. abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbab
26. abbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbab
27. abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbab
28. abbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbab
29. abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbab
30. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
31. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
48. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
49. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
50. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
51. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
52. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
53. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
...

Collecting factors up to length 14 / frequency 2:

[2/0]ab64384lf:128,lp:64,ls:64,rf:64,rs:64,lprs:64,lsrs:64,a:1
[2/1]bb4095lf:2016,rf:2016,rp:63,a:2
[3/0]bbb3968lf:1953,rf:1953,rp:62,a:3
[3/1]bab1258lf:64,ls:64,rf:64,rp:1,rs:64,re:1,lsrp:1,lsrs:64,a:1
[4/0]bbbb3843lf:1891,rf:1891,rp:61,a:4
[4/1]bbab1254lf:63,ls:63,rf:63,rp:1,rs:63,re:1,lsrp:1,lsrs:63,a:2
[5/0]bbbbb3720lf:1830,rf:1830,rp:60,a:5
[5/1]bbbab1250lf:62,ls:62,rf:62,rp:1,rs:62,re:1,lsrp:1,lsrs:62,a:3
[6/0]bbbbbb3599lf:1770,rf:1770,rp:59,a:6
[6/1]bbbbab1246lf:61,ls:61,rf:61,rp:1,rs:61,re:1,lsrp:1,lsrs:61,a:4
[7/0]bbbbbbb3480lf:1711,rf:1711,rp:58,a:7
[7/1]bbbbbab1242lf:60,ls:60,rf:60,rp:1,rs:60,re:1,lsrp:1,lsrs:60,a:5
[8/0]bbbbbbbb3363lf:1653,rf:1653,rp:57,a:8
[8/1]bbbbbbab1238lf:59,ls:59,rf:59,rp:1,rs:59,re:1,lsrp:1,lsrs:59,a:6
[9/0]bbbbbbbbb3248lf:1596,rf:1596,rp:56,a:9
[9/1]bbbbbbbab1234lf:58,ls:58,rf:58,rp:1,rs:58,re:1,lsrp:1,lsrs:58,a:7
[10/0]bbbbbbbbbb3135lf:1540,rf:1540,rp:55,a:10
[10/1]bbbbbbbbab1230lf:57,ls:57,rf:57,rp:1,rs:57,re:1,lsrp:1,lsrs:57,a:8
[11/0]bbbbbbbbbbb3024lf:1485,rf:1485,rp:54,a:11
[11/1]bbbbbbbbbab1226lf:56,ls:56,rf:56,rp:1,rs:56,re:1,lsrp:1,lsrs:56,a:9
[12/0]bbbbbbbbbbbb2915lf:1431,rf:1431,rp:53,a:12
[12/1]bbbbbbbbbbab1222lf:55,ls:55,rf:55,rp:1,rs:55,re:1,lsrp:1,lsrs:55,a:10
[13/0]bbbbbbbbbbbbb2808lf:1378,rf:1378,rp:52,a:13
[13/1]bbbbbbbbbbbab1218lf:54,ls:54,rf:54,rp:1,rs:54,re:1,lsrp:1,lsrs:54,a:11

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

Step 2

Rewriting system is complete. See ⟨a, b | aaa=a, abab=bab⟩.