Morphocompletion for #7791 ⟨a, b | aaa=1, ababb=ba⟩

Back:⟨a, b | aaa=1, ababb=ba⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaa ⇒ 1
2. babb ⇒ aaba
3. ababaab ⇒ baabbaa
4. bbbbbab ⇒ abbbbaa
5. aabaabb ⇒ babaaba
6. baabbbb ⇒ abababa
7. abbbbbb ⇒ bbbbbba
8. bbbbbbb ⇒ b
9. abbbbaab ⇒ bbbbaaba
10. bbbbbaab ⇒ abbaa
11. babababab ⇒ aabbbbbaa
12. bbbbaabbb ⇒ aabbbbaba
13. abbaabbaab ⇒ baabbbaaba
14. bbaabbbaab ⇒ aabbbaabaa
15. abbbababab ⇒ bbbbababaa
16. bbbbababab ⇒ abbaabbbaa
17. aabbbbabab ⇒ bbbabababa
18. abbaabbbab ⇒ bbbaabbbaa
19. baabbaabbb ⇒ abaabababa
20. aabbbaabbb ⇒ bbaabbbaba
21. abaabababab ⇒ baababababa
22. bbaabbbabab ⇒ aabbabababa
23. abbaabababab ⇒ baabbbababaa
24. aabbbbabaabb ⇒ bbbbaabbaaba
25. bbbbaabaabaab ⇒ abbbbabaabbaa
26. abbabaabbbaab ⇒ baabbbabaabba
27. baabbbabaabab ⇒ abaabaabababa
28. aabbbbabaabab ⇒ bbaabbabababa
29. bbbbabaababab ⇒ abbbabaababaa
30. abbaabbababab ⇒ bbbbabaababaa
31. bbbaabbababab ⇒ abbaabbababaa
32. bbaabbbabaabb ⇒ aabbbaabbaaba
33. abbbbabaabbaab ⇒ bbbbaabbabaaba
34. abaabbaabbabab ⇒ babaabbabababa
35. bbbbabaabbaabb ⇒ abbbabaabababa
36. baabbbaabaabaab ⇒ abbaabbabaabbaa
37. bbbbaabbabaabab ⇒ aabbbabaabababa
38. bbbbabaabbaabaab ⇒ abbbbabaabbbaaba
39. abbaabbabaabbaab ⇒ baabbbaabbabaaba
40. baabbbabaabaabab ⇒ abbabaabbabababa
41. aabbbbabaabaabab ⇒ bbbabaabaabababa
42. baabbaabbabaabab ⇒ abaabaabaabababa
43. aabbbaabbabaabab ⇒ bbaabbabaabababa
44. abbbabaabaababab ⇒ bbbbabaabaababaa
45. bbbbabaabaababab ⇒ abbaabbabaababaa
46. baabbbaabaababab ⇒ abbabaabbbababaa
47. abbaabbabaababab ⇒ bbbaabbabaababaa
48. abbbbabaabbbabab ⇒ bbbbabaabbbababa
49. abaabbaabbabaabb ⇒ babaabbbaabbaaba
50. baabbbabaabbaabb ⇒ abbabaabbbaba
51. abbbbabaabbbabaab ⇒ bbbbaabbabaabbbaa
52. abbbbabaabbbaabab ⇒ bbbbabaabbbabaaba
53. abaabbabaabbbabab ⇒ babaabbbaabbababa
54. baabbbabaabbaabaab ⇒ abbabaabbbabaabbaa
55. abbaabbabaabbbabab ⇒ baabbbabaabbbababa
56. bbbbaabbabaabbaabb ⇒ aabbbabaabbaabbaba
57. bbbbaabbabaabaabaab ⇒ abbbbabaabbabaabbaa
58. abbaabbabaabbbabaab ⇒ baabbbaabbabaabbbaa
59. abbabaabbbabaabbaab ⇒ baabbbabaabbbabaaba
60. baabbbabaabaabaabab ⇒ abaabaabaabaabababa
61. abbaabbabaabbbabaaba ⇒ baabbbaabbabaabbb
62. abbbabaabaabaabababa ⇒ bbbbabaabbabaabbb
63. bbbbabaabaabaabababa ⇒ abbbabaabaabaabab
64. abbaabbabaabaabababa ⇒ bbbbabaabaabaabab
65. bbbaabbabaabaabababa ⇒ abbaabbabaabaabab
...

Collecting factors up to length 14 / frequency 2:

[2/0]ab17581lf:257,lp:26,ls:45,rf:228,rp:22,rs:3,lsrp:16,lprs:1,a:2
[2/1]ba9552lf:229,lp:12,ls:5,rf:256,rp:14,rs:36,lsrp:1,lprs:8,a:2
[3/0]aba4320lf:123,lp:5,ls:5,rf:148,rp:5,rs:34,lprs:4,a:2
[3/1]baa3278lf:119,lp:10,rf:117,rp:10,rs:22,lprs:3,a:4
[4/0]baab6250lf:119,lp:10,ls:16,rf:95,rp:10,lsrp:6,a:4
[4/1]aabb2147lf:67,lp:6,ls:7,rf:60,rp:7,lsrp:2,a:4
[5/0]aabbb1078lf:30,lp:6,ls:3,rf:31,rp:6,rs:2,lsrp:1,a:6
[5/1]bbbbb1016lf:7,lp:3,ls:2,rf:3,rp:1,lsrp:1,a:15
[6/0]bbbbbb10008lf:3,lp:1,ls:2,rf:1,rp:1,lsrp:10,a:19
[6/1]babaab89lf:41,ls:3,rf:41,rp:4,a:4
[7/0]bbbbaab10022lf:7,lp:5,ls:2,rf:4,rp:4,lsrp:10,a:26
[7/1]babaabb1050lf:20,ls:3,rf:24,rp:3,lsrp:1,a:33
[8/0]aabbbaab1022lf:7,lp:2,ls:2,rf:9,rp:2,lsrp:1,a:7
[8/1]bbbabaab48lf:24,ls:2,rf:21,rp:1,a:33
[9/0]baabbbaba1037lf:14,lp:5,rf:12,rp:4,rs:2,lprs:1,a:55
[9/1]bbaabbaba33lf:16,rf:14,rp:2,rs:1,a:47
[10/0]baabababab10006lf:2,ls:2,rf:1,rp:1,lsrp:10,a:13
[10/1]abaabababa28lf:5,lp:1,ls:4,rf:8,rp:1,rs:8,re:1,a:11
[11/0]baabbbabaab26lf:10,lp:5,ls:2,rf:6,rp:3,a:57
[11/1]bbaabbabaab24lf:13,rf:10,rp:1,a:47
[12/0]abbaabbabaab20lf:8,lp:6,rf:3,rp:3,a:47
[12/1]baabaabababa16lf:4,ls:4,rf:4,rs:4,a:67
[13/0]bbaabbabaabab1011lf:4,ls:3,rf:3,rp:1,lsrp:1,a:69
[13/1]bbbabaabaabab1009lf:4,ls:2,rf:2,rp:1,lsrp:1,a:84

Considering [length 4 / frequency 0] baab=c.

Step 2

Rewriting system is complete. See ⟨a, b | aaa=1, ababb=ba⟩.