Morphocompletion for #25698 ⟨a, b | aa=a, baba=abab⟩

Back:⟨a, b | aa=a, baba=abab⟩

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 ⇒ a
2. baba ⇒ abab
3. ababba ⇒ ababb
4. ababbba ⇒ ababbb
5. ababbbba ⇒ ababbbb
6. ababbbbba ⇒ ababbbbb
7. ababbbbbba ⇒ ababbbbbb
8. ababbbbbbba ⇒ ababbbbbbb
9. ababbbbbbbba ⇒ ababbbbbbbb
10. ababbbbbbbbba ⇒ ababbbbbbbbb
11. ababbbbbbbbbba ⇒ ababbbbbbbbbb
12. ababbbbbbbbbbba ⇒ ababbbbbbbbbbb
13. ababbbbbbbbbbbba ⇒ ababbbbbbbbbbbb
14. ababbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbb
15. ababbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbb
16. ababbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbb
17. ababbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbb
18. ababbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbb
19. ababbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbb
20. ababbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbb
21. ababbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbb
22. ababbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbb
23. ababbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbb
24. ababbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbb
25. ababbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbb
26. ababbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbb
27. ababbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbb
28. ababbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbb
29. ababbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbb
30. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbb
31. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
32. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
33. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
34. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
35. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
36. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
37. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
38. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
39. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
41. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
43. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
47. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
49. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
50. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
51. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
53. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
55. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
56. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
66. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
67. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
68. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
69. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
70. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
71. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
72. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
73. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
74. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
75. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
76. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
77. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
78. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
79. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
80. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb6240lf:3081,rf:3081,rs:78,a:2
[2/1]ab473lf:157,lp:78,rf:158,rp:79,rs:1,lprp:78,a:1
[3/0]aba10316lf:79,lp:78,ls:1,rf:79,rp:79,lprp:78,lsrp:10,a:1
[3/1]bab10160lf:79,lp:1,rf:79,rs:1,lprs:10,a:1
[4/0]bbbb5928lf:2926,rf:2926,rs:76,a:4
[4/1]abab316lf:78,lp:78,rf:79,rp:79,rs:1,re:1,lprp:78,a:1
[5/0]bbbbb5775lf:2850,rf:2850,rs:75,a:5
[5/1]ababb1314lf:78,lp:78,rf:78,rp:78,rs:1,re:1,lprp:78,lprs:1,a:2
[6/0]bbbbbb5624lf:2775,rf:2775,rs:74,a:6
[6/1]ababbb1310lf:77,lp:77,rf:77,rp:77,rs:1,re:1,lprp:77,lprs:1,a:3
[7/0]bbbbbbb5475lf:2701,rf:2701,rs:73,a:7
[7/1]ababbbb1306lf:76,lp:76,rf:76,rp:76,rs:1,re:1,lprp:76,lprs:1,a:4
[8/0]bbbbbbbb5328lf:2628,rf:2628,rs:72,a:8
[8/1]ababbbbb1302lf:75,lp:75,rf:75,rp:75,rs:1,re:1,lprp:75,lprs:1,a:5
[9/0]bbbbbbbbb5183lf:2556,rf:2556,rs:71,a:9
[9/1]ababbbbbb1298lf:74,lp:74,rf:74,rp:74,rs:1,re:1,lprp:74,lprs:1,a:6
[10/0]bbbbbbbbbb5040lf:2485,rf:2485,rs:70,a:10
[10/1]ababbbbbbb1294lf:73,lp:73,rf:73,rp:73,rs:1,re:1,lprp:73,lprs:1,a:7
[11/0]bbbbbbbbbbb4899lf:2415,rf:2415,rs:69,a:11
[11/1]ababbbbbbbb1290lf:72,lp:72,rf:72,rp:72,rs:1,re:1,lprp:72,lprs:1,a:8
[12/0]bbbbbbbbbbbb4760lf:2346,rf:2346,rs:68,a:12
[12/1]ababbbbbbbbb1286lf:71,lp:71,rf:71,rp:71,rs:1,re:1,lprp:71,lprs:1,a:9
[13/0]bbbbbbbbbbbbb4623lf:2278,rf:2278,rs:67,a:13
[13/1]ababbbbbbbbbb1282lf:70,lp:70,rf:70,rp:70,rs:1,re:1,lprp:70,lprs:1,a:10

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

Step 2

Rewriting system is complete. See ⟨a, b | aa=a, baba=abab⟩.