Morphocompletion for #22785 ⟨a, b | aaa=1, abaab=bab⟩

Back:⟨a, b | aaa=1, abaab=bab⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaa ⇒ 1
2. abaab ⇒ bab
3. aabab ⇒ baab
4. abbab ⇒ bbaab
5. abbaab ⇒ babab
6. ababab ⇒ bbab
7. abbbab ⇒ bbabab
8. abbbaab ⇒ bbbab
9. abbbbab ⇒ bbbbaab
10. abbbbaab ⇒ bbbabab
11. abbbbbab ⇒ bbbbabab
12. abbbbbaab ⇒ bbbbbab
13. abbbbbbab ⇒ bbbbbbaab
14. abbbbbbaab ⇒ bbbbbabab
15. abbbbbbbab ⇒ bbbbbbabab
16. abbbbbbbaab ⇒ bbbbbbbab
17. abbbbbbbbab ⇒ bbbbbbbbaab
18. abbbbbbbbaab ⇒ bbbbbbbabab
19. abbbbbbbbbab ⇒ bbbbbbbbabab
20. abbbbbbbbbaab ⇒ bbbbbbbbbab
21. abbbbbbbbbbab ⇒ bbbbbbbbbbaab
22. abbbbbbbbbbaab ⇒ bbbbbbbbbabab
23. abbbbbbbbbbbab ⇒ bbbbbbbbbbabab
24. abbbbbbbbbbbaab ⇒ bbbbbbbbbbbab
25. abbbbbbbbbbbbab ⇒ bbbbbbbbbbbbaab
26. abbbbbbbbbbbbaab ⇒ bbbbbbbbbbbabab
27. abbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbabab
28. abbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbab
29. abbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbaab
30. abbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbabab
31. abbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbabab
32. abbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbab
33. abbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbaab
34. abbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbabab
35. abbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbabab
36. abbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbab
37. abbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbaab
38. abbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbabab
39. abbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbabab
40. abbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbab
41. abbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbaab
42. abbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbabab
43. abbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbabab
44. abbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbab
45. abbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbaab
46. abbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbabab
47. abbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbabab
48. abbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbab
49. abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbaab
50. abbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbabab
51. abbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbabab
52. abbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbab
53. abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbaab
54. abbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbabab
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbabab
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbab
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbaab
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbabab
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab
66. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
67. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
68. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
69. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab
70. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
71. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
72. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
73. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab
74. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
75. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
76. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
77. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab
78. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
79. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
80. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
...

Collecting factors up to length 14 / frequency 2:

[2/0]ab78512lf:159,lp:78,ls:79,rf:117,rs:79,lprs:78,lsrs:79,a:1
[2/1]bb3003lf:1482,rf:1445,rp:76,a:3
[3/0]bbb2848lf:1406,rf:1369,rp:73,a:8
[3/1]aab1120lf:40,lp:1,ls:39,rf:20,rs:20,lprs:1,a:1
[4/0]bbbb2699lf:1332,rf:1296,rp:71,a:10
[4/1]bbab1156lf:38,ls:38,rf:57,rp:2,rs:20,re:1,lsrp:1,a:3
[5/0]bbbbb2554lf:1260,rf:1225,rp:69,a:12
[5/1]bbbab151lf:37,ls:37,rf:55,rp:2,rs:19,re:1,a:8
[6/0]bbbbbb2413lf:1190,rf:1156,rp:67,a:14
[6/1]bbbbab1144lf:36,ls:36,rf:53,rp:1,rs:18,lsrp:1,a:10
[7/0]bbbbbbb2276lf:1122,rf:1089,rp:65,a:16
[7/1]bbbbbab143lf:35,ls:35,rf:52,rp:2,rs:18,re:1,a:12
[8/0]bbbbbbbb2143lf:1056,rf:1024,rp:63,a:18
[8/1]bbbbbbab1136lf:34,ls:34,rf:50,rp:1,rs:17,lsrp:1,a:14
[9/0]bbbbbbbbb2014lf:992,rf:961,rp:61,a:21
[9/1]bbbbbbbab135lf:33,ls:33,rf:49,rp:2,rs:17,re:1,a:16
[10/0]bbbbbbbbbb1889lf:930,rf:900,rp:59,a:24
[10/1]bbbbbbbbab1128lf:32,ls:32,rf:47,rp:1,rs:16,lsrp:1,a:20
[11/0]bbbbbbbbbbb1768lf:870,rf:841,rp:57,a:26
[11/1]bbbbbbbbbab127lf:31,ls:31,rf:46,rp:2,rs:16,re:1,a:21
[12/0]bbbbbbbbbbbb1651lf:812,rf:784,rp:55,a:28
[12/1]bbbbbbbbbbab1120lf:30,ls:30,rf:44,rp:1,rs:15,lsrp:1,a:24
[13/0]bbbbbbbbbbbbb1538lf:756,rf:729,rp:53,a:31
[13/1]bbbbbbbbbbbab119lf:29,ls:29,rf:43,rp:2,rs:15,re:1,a:26

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

Step 2

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