Morphocompletion for #9154 ⟨a, b | aa=a, abba=bab⟩

Back:⟨a, b | aa=a, abba=bab⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aa ⇒ a
2. abab ⇒ bab
3. abba ⇒ bab
4. baba ⇒ bab
5. bbab ⇒ babb
6. babbba ⇒ babbb
7. babbbba ⇒ babbbb
8. babbbbba ⇒ babbbbb
9. babbbbbba ⇒ babbbbbb
10. babbbbbbba ⇒ babbbbbbb
11. babbbbbbbba ⇒ babbbbbbbb
12. babbbbbbbbba ⇒ babbbbbbbbb
13. babbbbbbbbbba ⇒ babbbbbbbbbb
14. babbbbbbbbbbba ⇒ babbbbbbbbbbb
15. babbbbbbbbbbbba ⇒ babbbbbbbbbbbb
16. babbbbbbbbbbbbba ⇒ babbbbbbbbbbbbb
17. babbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbb
18. babbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbb
19. babbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbb
20. babbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbb
21. babbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbb
22. babbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbb
23. babbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbb
24. babbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbb
25. babbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbb
26. babbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbb
27. babbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbb
28. babbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbb
29. babbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbb
30. babbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbb
31. babbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbb
32. babbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbb
33. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
34. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
35. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
36. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
37. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
38. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
39. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
41. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
43. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
47. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
49. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
50. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
51. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
53. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
55. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
56. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
66. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
67. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
68. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
69. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
70. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
71. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
72. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
73. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
74. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
75. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
76. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
77. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
78. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
79. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
80. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] ba, [2/1] bb
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 2 / frequency 0] ba=c.

Step 2

Rewriting system is complete. See ⟨a, b | aa=a, abba=bab⟩.