Morphocompletion for #5903 ⟨a, b | abab=1, aabaa=b⟩

Back:⟨a, b | abab=1, aabaa=b⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aabaa ⇒ b
2. baba ⇒ 1
3. abab ⇒ 1
4. abaaab ⇒ baaaba
5. abaaaaab ⇒ baaaaaba
6. abaaaaaaab ⇒ baaaaaaaba
7. abaaaaaaaaab ⇒ baaaaaaaaaba
8. abaaaaaaaaaaab ⇒ baaaaaaaaaaaba
9. abaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaba
10. abaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaba
11. abaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaba
12. abaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaba
13. abaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaba
14. abaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaba
15. abaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaba
16. abaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaba
17. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
18. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
19. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
20. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
21. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
22. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
23. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
24. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
25. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
26. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
27. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
28. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
29. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
30. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
31. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
32. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
33. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
34. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
35. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
36. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
37. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
38. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
39. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
40. abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
41. aabb ⇒ bbaa
42. bbab ⇒ aaba
43. bbaaab ⇒ aaaaba
44. bbaaaaab ⇒ aaaaaaba
45. bbaaaaaaab ⇒ aaaaaaaaba
46. bbaaaaaaaaab ⇒ aaaaaaaaaaba
47. bbaaaaaaaaaaab ⇒ aaaaaaaaaaaaba
48. bbaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaba
49. bbaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaba
50. bbaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaba
51. bbaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaba
52. bbaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaba
53. bbaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaba
54. bbaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaba
55. bbaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaba
56. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
57. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
58. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
59. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
60. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
61. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
62. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
63. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
64. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
65. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
66. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
67. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
68. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
69. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
70. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
71. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
72. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
73. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
74. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
75. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
76. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
77. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
78. bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba
79. babb ⇒ abaa
...

Collecting factors up to length 14 / frequency 2:

[2/0]aa6560lf:2741,lp:2,ls:1,rf:2777,rp:37,rs:2,lprs:1,a:1
[2/1]bb1080lf:39,lp:37,ls:2,rf:1,rp:1,lsrp:1,a:2
[3/0]aba37229lf:40,lp:38,ls:1,rf:75,rp:1,rs:74,lprs:37
[3/1]aaa5402lf:2665,rf:2701,rp:36,a:9
[4/0]aaaa5256lf:2592,rf:2628,rp:36,a:9
[4/1]aaab219lf:73,ls:73,rf:73,a:9
[5/0]baaab10006lf:2,ls:2,rf:1,rp:1,lsrp:10,a:9
[5/1]aaaaa5112lf:2521,rf:2556,rp:35,a:13
[6/0]aaaaaa4970lf:2450,rf:2485,rp:35,a:13
[6/1]aaaaab213lf:71,ls:71,rf:71,a:13
[7/0]baaaaab10006lf:2,ls:2,rf:1,rp:1,lsrp:10,a:13
[7/1]aaaaaaa4830lf:2381,rf:2415,rp:34,a:17
[8/0]aaaaaaaa4692lf:2312,rf:2346,rp:34,a:17
[8/1]aaaaaaab207lf:69,ls:69,rf:69,a:17
[9/0]baaaaaaab10006lf:2,ls:2,rf:1,rp:1,lsrp:10,a:17
[9/1]aaaaaaaaa4556lf:2245,rf:2278,rp:33,a:21
[10/0]aaaaaaaaaa4422lf:2178,rf:2211,rp:33,a:21
[10/1]aaaaaaaaab201lf:67,ls:67,rf:67,a:21
[11/0]baaaaaaaaab10006lf:2,ls:2,rf:1,rp:1,lsrp:10,a:21
[11/1]aaaaaaaaaaa4290lf:2113,rf:2145,rp:32,a:25
[12/0]aaaaaaaaaaaa4160lf:2048,rf:2080,rp:32,a:25
[12/1]aaaaaaaaaaab195lf:65,ls:65,rf:65,a:25
[13/0]baaaaaaaaaaab10006lf:2,ls:2,rf:1,rp:1,lsrp:10,a:25
[13/1]aaaaaaaaaaaaa4032lf:1985,rf:2016,rp:31,a:29

Considering [length 5 / frequency 0] baaab=c.

Step 2

Rewriting system is complete. See ⟨a, b | abab=1, aabaa=b⟩.