Morphocompletion for #28258 ⟨a, b | aa=1, babab=babb⟩

Back:⟨a, b | aa=1, babab=babb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aa ⇒ 1
2. babab ⇒ babb
3. babbab ⇒ babbb
4. babbbab ⇒ babbbb
5. babbbbab ⇒ babbbbb
6. babbbbbab ⇒ babbbbbb
7. babbbbbbab ⇒ babbbbbbb
8. babbbbbbbab ⇒ babbbbbbbb
9. babbbbbbbbab ⇒ babbbbbbbbb
10. babbbbbbbbbab ⇒ babbbbbbbbbb
11. babbbbbbbbbbab ⇒ babbbbbbbbbbb
12. babbbbbbbbbbbab ⇒ babbbbbbbbbbbb
13. babbbbbbbbbbbbab ⇒ babbbbbbbbbbbbb
14. babbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbb
15. babbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbb
16. babbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbb
17. babbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbb
18. babbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbb
19. babbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbb
20. babbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbb
21. babbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbb
22. babbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbb
23. babbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbb
24. babbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbb
25. babbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbb
26. babbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbb
27. babbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbb
28. babbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbb
29. babbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbb
30. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
31. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
32. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
33. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
34. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
35. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
36. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
37. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
38. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
39. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
41. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
43. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
47. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
49. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
50. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
51. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
53. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
55. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
56. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

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] babb
Length 5:[5/0] bbbbb, [5/1] babbb
Length 6:[6/0] bbbbbb, [6/1] babbbb
Length 7:[7/0] bbbbbbb, [7/1] babbbbb
Length 8:[8/0] bbbbbbbb, [8/1] babbbbbb
Length 9:[9/0] bbbbbbbbb, [9/1] babbbbbbb
Length 10:[10/0] bbbbbbbbbb, [10/1] babbbbbbbb
Length 11:[11/0] bbbbbbbbbbb, [11/1] babbbbbbbbb
Length 12:[12/0] bbbbbbbbbbbb, [12/1] babbbbbbbbbb
Length 13:[13/0] bbbbbbbbbbbbb, [13/1] babbbbbbbbbbb

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

Step 2

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