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:

Length 2:[2/0] ab, [2/1] ba
Length 3:[3/0] aba, [3/1] baa
Length 4:[4/0] baab, [4/1] aabb
Length 5:[5/0] aabbb, [5/1] bbbbb
Length 6:[6/0] bbbbbb, [6/1] bababa
Length 7:[7/0] bbbbaab, [7/1] babaabb
Length 8:[8/0] aabbbaab, [8/1] abbaabba
Length 9:[9/0] baabbbaba, [9/1] baabababa
Length 10:[10/0] baabababab, [10/1] abaabababa
Length 11:[11/0] baabbbabaab, [11/1] abbaabbabaa
Length 12:[12/0] abbaabbabaab, [12/1] baabaabababa
Length 13:[13/0] bbaabbabaabab, [13/1] bbbabaabaabab

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

Step 2

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