Morphocompletion for #19831 ⟨a, b | aaa=a, baab=abb⟩

Back:⟨a, b | aaa=a, baab=abb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aaa ⇒ a
2. baab ⇒ abb
3. ababb ⇒ babb
4. abbabb ⇒ bbabb
5. abbbabb ⇒ bbbabb
6. abbbbabb ⇒ bbbbabb
7. abbbbbabb ⇒ bbbbbabb
8. abbbbbbabb ⇒ bbbbbbabb
9. abbbbbbbabb ⇒ bbbbbbbabb
10. abbbbbbbbabb ⇒ bbbbbbbbabb
11. abbbbbbbbbabb ⇒ bbbbbbbbbabb
12. abbbbbbbbbbabb ⇒ bbbbbbbbbbabb
13. abbbbbbbbbbbabb ⇒ bbbbbbbbbbbabb
14. abbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbabb
15. abbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbabb
16. abbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbabb
17. abbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbabb
18. abbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbabb
19. abbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbabb
20. abbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbabb
21. abbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbabb
22. abbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbabb
23. abbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbabb
24. abbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbabb
25. abbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbabb
26. abbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbabb
27. abbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbabb
28. abbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbabb
29. abbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbabb
30. abbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
31. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
48. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
49. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
50. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
51. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
52. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
53. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
66. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb67353lf:2080,ls:64,rf:2081,rp:63,rs:65,lsrp:63,lsrs:64,a:1
[2/1]ab1260lf:129,lp:64,ls:1,rf:65,rp:1,lsrp:1,a:1
[3/0]abb63386lf:127,lp:63,ls:64,rf:65,rp:1,rs:65,re:1,lprs:63,lsrs:64,a:1
[3/1]bbb3968lf:1953,rf:1953,rp:62,a:4
[4/0]bbbb3843lf:1891,rf:1891,rp:61,a:5
[4/1]babb1258lf:64,ls:64,rf:64,rp:1,rs:64,re:1,lsrp:1,lsrs:64,a:2
[5/0]bbbbb3720lf:1830,rf:1830,rp:60,a:6
[5/1]bbabb1254lf:63,ls:63,rf:63,rp:1,rs:63,re:1,lsrp:1,lsrs:63,a:3
[6/0]bbbbbb3599lf:1770,rf:1770,rp:59,a:7
[6/1]bbbabb1250lf:62,ls:62,rf:62,rp:1,rs:62,re:1,lsrp:1,lsrs:62,a:4
[7/0]bbbbbbb3480lf:1711,rf:1711,rp:58,a:8
[7/1]bbbbabb1246lf:61,ls:61,rf:61,rp:1,rs:61,re:1,lsrp:1,lsrs:61,a:5
[8/0]bbbbbbbb3363lf:1653,rf:1653,rp:57,a:9
[8/1]bbbbbabb1242lf:60,ls:60,rf:60,rp:1,rs:60,re:1,lsrp:1,lsrs:60,a:6
[9/0]bbbbbbbbb3248lf:1596,rf:1596,rp:56,a:10
[9/1]bbbbbbabb1238lf:59,ls:59,rf:59,rp:1,rs:59,re:1,lsrp:1,lsrs:59,a:7
[10/0]bbbbbbbbbb3135lf:1540,rf:1540,rp:55,a:11
[10/1]bbbbbbbabb1234lf:58,ls:58,rf:58,rp:1,rs:58,re:1,lsrp:1,lsrs:58,a:8
[11/0]bbbbbbbbbbb3024lf:1485,rf:1485,rp:54,a:12
[11/1]bbbbbbbbabb1230lf:57,ls:57,rf:57,rp:1,rs:57,re:1,lsrp:1,lsrs:57,a:9
[12/0]bbbbbbbbbbbb2915lf:1431,rf:1431,rp:53,a:13
[12/1]bbbbbbbbbabb1226lf:56,ls:56,rf:56,rp:1,rs:56,re:1,lsrp:1,lsrs:56,a:10
[13/0]bbbbbbbbbbbbb2808lf:1378,rf:1378,rp:52,a:14
[13/1]bbbbbbbbbbabb1222lf:55,ls:55,rf:55,rp:1,rs:55,re:1,lsrp:1,lsrs:55,a:11

Considering [length 3 / frequency 0] abb=c.

Step 2

Rewriting system is complete. See ⟨a, b | aaa=a, baab=abb⟩.