Morphocompletion for #26689 ⟨a, b | aa=1, babbbbab=b⟩

Back:⟨a, b | aa=1, babbbbab=b⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aa ⇒ 1
2. bbabab ⇒ bababb
3. bbbbab ⇒ babbbb
4. bababbbb ⇒ b
5. bababbabbbb ⇒ bbab
6. bababbbabbbb ⇒ bbbab
7. bababbabbabbbb ⇒ bbabbab
8. bababbabbbabbbb ⇒ bbabbbab
9. bababbbabbabbbb ⇒ bbbabbab
10. bababbbabbbabbbb ⇒ bbbabbbab
11. bababbabbabbabbbb ⇒ bbabbabbab
12. bababbabbabbbabbbb ⇒ bbabbabbbab
13. bababbabbbabbabbbb ⇒ bbabbbabbab
14. bababbbabbabbabbbb ⇒ bbbabbabbab
15. bababbabbbabbbabbbb ⇒ bbabbbabbbab
16. bababbbabbabbbabbbb ⇒ bbbabbabbbab
17. bababbbabbbabbabbbb ⇒ bbbabbbabbab
18. bababbabbabbabbabbbb ⇒ bbabbabbabbab
19. bababbbabbbabbbabbbb ⇒ bbbabbbabbbab
20. bababbabbabbabbbabbbb ⇒ bbabbabbabbbab
21. bababbabbabbbabbabbbb ⇒ bbabbabbbabbab
22. bababbabbbabbabbabbbb ⇒ bbabbbabbabbab
23. bababbbabbabbabbabbbb ⇒ bbbabbabbabbab
24. bababbabbabbbabbbabbbb ⇒ bbabbabbbabbbab
25. bababbabbbabbabbbabbbb ⇒ bbabbbabbabbbab
26. bababbabbbabbbabbabbbb ⇒ bbabbbabbbabbab
27. bababbbabbabbabbbabbbb ⇒ bbbabbabbabbbab
28. bababbbabbabbbabbabbbb ⇒ bbbabbabbbabbab
29. bababbbabbbabbabbabbbb ⇒ bbbabbbabbabbab
30. bababbabbabbabbabbabbbb ⇒ bbabbabbabbabbab
31. bababbabbbabbbabbbabbbb ⇒ bbabbbabbbabbbab
32. bababbbabbabbbabbbabbbb ⇒ bbbabbabbbabbbab
33. bababbbabbbabbabbbabbbb ⇒ bbbabbbabbabbbab
34. bababbbabbbabbbabbabbbb ⇒ bbbabbbabbbabbab
35. bababbabbabbabbabbbabbbb ⇒ bbabbabbabbabbbab
36. bababbabbabbabbbabbabbbb ⇒ bbabbabbabbbabbab
37. bababbabbabbbabbabbabbbb ⇒ bbabbabbbabbabbab
38. bababbabbbabbabbabbabbbb ⇒ bbabbbabbabbabbab
39. bababbbabbabbabbabbabbbb ⇒ bbbabbabbabbabbab
40. bababbbabbbabbbabbbabbbb ⇒ bbbabbbabbbabbbab
41. bababbabbabbabbbabbbabbbb ⇒ bbabbabbabbbabbbab
42. bababbabbabbbabbabbbabbbb ⇒ bbabbabbbabbabbbab
43. bababbabbabbbabbbabbabbbb ⇒ bbabbabbbabbbabbab
44. bababbabbbabbabbabbbabbbb ⇒ bbabbbabbabbabbbab
45. bababbabbbabbabbbabbabbbb ⇒ bbabbbabbabbbabbab
46. bababbabbbabbbabbabbabbbb ⇒ bbabbbabbbabbabbab
47. bababbbabbabbabbabbbabbbb ⇒ bbbabbabbabbabbbab
48. bababbbabbabbabbbabbabbbb ⇒ bbbabbabbabbbabbab
49. bababbbabbabbbabbabbabbbb ⇒ bbbabbabbbabbabbab
50. bababbbabbbabbabbabbabbbb ⇒ bbbabbbabbabbabbab
51. bababbabbabbabbabbabbabbbb ⇒ bbabbabbabbabbabbab
52. bababbabbabbbabbbabbbabbbb ⇒ bbabbabbbabbbabbbab
53. bababbabbbabbabbbabbbabbbb ⇒ bbabbbabbabbbabbbab
54. bababbabbbabbbabbabbbabbbb ⇒ bbabbbabbbabbabbbab
55. bababbabbbabbbabbbabbabbbb ⇒ bbabbbabbbabbbabbab
56. bababbbabbabbabbbabbbabbbb ⇒ bbbabbabbabbbabbbab
57. bababbbabbabbbabbabbbabbbb ⇒ bbbabbabbbabbabbbab
58. bababbbabbabbbabbbabbabbbb ⇒ bbbabbabbbabbbabbab
59. bababbbabbbabbabbabbbabbbb ⇒ bbbabbbabbabbabbbab
60. bababbbabbbabbabbbabbabbbb ⇒ bbbabbbabbabbbabbab
61. bababbbabbbabbbabbabbabbbb ⇒ bbbabbbabbbabbabbab
62. bababbabbabbabbabbabbbabbbb ⇒ bbabbabbabbabbabbbab
63. bababbabbabbabbabbbabbabbbb ⇒ bbabbabbabbabbbabbab
64. bababbabbabbabbbabbabbabbbb ⇒ bbabbabbabbbabbabbab
65. bababbabbabbbabbabbabbabbbb ⇒ bbabbabbbabbabbabbab
66. bababbabbbabbabbabbabbabbbb ⇒ bbabbbabbabbabbabbab
67. bababbabbbabbbabbbabbbabbbb ⇒ bbabbbabbbabbbabbbab
68. bababbbabbabbabbabbabbabbbb ⇒ bbbabbabbabbabbabbab
69. bababbbabbabbbabbbabbbabbbb ⇒ bbbabbabbbabbbabbbab
70. bababbbabbbabbabbbabbbabbbb ⇒ bbbabbbabbabbbabbbab
71. bababbbabbbabbbabbabbbabbbb ⇒ bbbabbbabbbabbabbbab
72. bababbbabbbabbbabbbabbabbbb ⇒ bbbabbbabbbabbbabbab
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ba
Length 3:[3/0] bab, [3/1] bbb
Length 4:[4/0] bbbb, [4/1] bbab
Length 5:[5/0] babab, [5/1] bbbab
Length 6:[6/0] babbbb, [6/1] bababb
Length 7:[7/0] bbabbab, [7/1] bbabbbb
Length 8:[8/0] bbabbbab, [8/1] bbbabbab
Length 9:[9/0] babbabbbb, [9/1] bababbabb
Length 10:[10/0] bbabbabbab, [10/1] bbabbabbbb
Length 11:[11/0] bbabbbabbbb, [11/1] bbabbbabbab
Length 12:[12/0] bbabbbabbbab, [12/1] babbabbabbbb
Length 13:[13/0] bbabbabbabbab, [13/1] bbabbabbabbbb

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

Step 2

Rewriting system is complete. See ⟨a, b | aa=1, babbbbab=b⟩.