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:

Length 2:[2/0] bb, [2/1] ab
Length 3:[3/0] aba, [3/1] bab
Length 4:[4/0] bbbb, [4/1] abab
Length 5:[5/0] bbbbb, [5/1] ababb
Length 6:[6/0] bbbbbb, [6/1] ababbb
Length 7:[7/0] bbbbbbb, [7/1] ababbbb
Length 8:[8/0] bbbbbbbb, [8/1] ababbbbb
Length 9:[9/0] bbbbbbbbb, [9/1] ababbbbbb
Length 10:[10/0] bbbbbbbbbb, [10/1] ababbbbbbb
Length 11:[11/0] bbbbbbbbbbb, [11/1] ababbbbbbbb
Length 12:[12/0] bbbbbbbbbbbb, [12/1] ababbbbbbbbb
Length 13:[13/0] bbbbbbbbbbbbb, [13/1] ababbbbbbbbbb

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

Step 2

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