Morphocompletion for #9749 ⟨a, b | aa=1, abbabbb=b⟩

Back:⟨a, b | aa=1, abbabbb=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. abbabb ⇒ babbab
3. abbabab ⇒ babbb
4. ababbb ⇒ bbabab
5. ababbab ⇒ bbabb
6. bbabbb ⇒ ab
7. bbabbab ⇒ b
8. abbbbabb ⇒ babbbbab
9. abbbbabab ⇒ babbbbb
10. abbbbbbabb ⇒ babbbbbbab
11. abbbbbbabab ⇒ babbbbbbb
12. abbbbbbbbabb ⇒ babbbbbbbbab
13. abbbbbbbbabab ⇒ babbbbbbbbb
14. abbbbbbbbbbabb ⇒ babbbbbbbbbbab
15. abbbbbbbbbbabab ⇒ babbbbbbbbbbb
16. abbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbab
17. abbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbb
18. abbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbab
19. abbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbb
20. abbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbab
21. abbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbb
22. abbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbab
23. abbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbb
24. abbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbab
25. abbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbb
26. abbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbab
27. abbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbb
28. abbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbab
29. abbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbb
30. abbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbab
31. abbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbb
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbab
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbb
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
49. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
50. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
51. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
53. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
66. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
67. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
68. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
69. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
70. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
71. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
72. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
73. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
74. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
75. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
76. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
77. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
78. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
79. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14 / frequency 2:

[2/0]ab38464lf:193,lp:76,ls:39,rf:115,rp:1,rs:39,re:1,lprs:38,a:2
[2/1]bb6642lf:2783,lp:2,ls:39,rf:2778,rp:2,rs:38,lsrp:1,a:2
[3/0]bab37382lf:117,ls:39,rf:114,rp:74,rs:38,lsrp:37,a:2
[3/1]bbb5406lf:2666,ls:2,rf:2701,rs:37,a:2
[4/0]babb37228lf:41,ls:37,rf:75,rp:74,rs:1,lsrp:37,a:2
[4/1]bbbb5256lf:2592,rf:2628,rs:36,a:11
[5/0]abbab10010lf:4,lp:2,ls:2,rf:1,rs:1,lprs:10,a:3
[5/1]bbbbb5112lf:2520,rf:2556,rs:36,a:11
[6/0]bbbbbb4970lf:2450,rf:2485,rs:35,a:13
[6/1]abbbbb212lf:70,lp:70,rf:71,rs:1,a:11
[7/0]abbbbab10006lf:2,lp:2,rf:1,rs:1,lprs:10,a:11
[7/1]bbbbbbb4830lf:2380,rf:2415,rs:35,a:13
[8/0]bbbbbbbb4692lf:2312,rf:2346,rs:34,a:15
[8/1]abbbbbbb206lf:68,lp:68,rf:69,rs:1,a:13
[9/0]abbbbbbab10006lf:2,lp:2,rf:1,rs:1,lprs:10,a:13
[9/1]bbbbbbbbb4556lf:2244,rf:2278,rs:34,a:15
[10/0]bbbbbbbbbb4422lf:2178,rf:2211,rs:33,a:17
[10/1]abbbbbbbbb200lf:66,lp:66,rf:67,rs:1,a:15
[11/0]abbbbbbbbab10006lf:2,lp:2,rf:1,rs:1,lprs:10,a:15
[11/1]bbbbbbbbbbb4290lf:2112,rf:2145,rs:33,a:17
[12/0]bbbbbbbbbbbb4160lf:2048,rf:2080,rs:32,a:19
[12/1]abbbbbbbbbbb194lf:64,lp:64,rf:65,rs:1,a:17
[13/0]abbbbbbbbbbab10006lf:2,lp:2,rf:1,rs:1,lprs:10,a:17
[13/1]bbbbbbbbbbbbb4032lf:1984,rf:2016,rs:32,a:19

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

Step 2

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