Morphocompletion for #13164 ⟨a, b | aba=aab, baa=ba⟩

Back:⟨a, b | aba=aab, baa=ba⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aba ⇒ aab
2. baa ⇒ ba
3. aaab ⇒ aab
4. aabba ⇒ aabb
5. babba ⇒ babb
6. aabbba ⇒ aabbb
7. babbba ⇒ babbb
8. aabbbba ⇒ aabbbb
9. babbbba ⇒ babbbb
10. aabbbbba ⇒ aabbbbb
11. babbbbba ⇒ babbbbb
12. aabbbbbba ⇒ aabbbbbb
13. babbbbbba ⇒ babbbbbb
14. aabbbbbbba ⇒ aabbbbbbb
15. babbbbbbba ⇒ babbbbbbb
16. aabbbbbbbba ⇒ aabbbbbbbb
17. babbbbbbbba ⇒ babbbbbbbb
18. aabbbbbbbbba ⇒ aabbbbbbbbb
19. babbbbbbbbba ⇒ babbbbbbbbb
20. aabbbbbbbbbba ⇒ aabbbbbbbbbb
21. babbbbbbbbbba ⇒ babbbbbbbbbb
22. aabbbbbbbbbbba ⇒ aabbbbbbbbbbb
23. babbbbbbbbbbba ⇒ babbbbbbbbbbb
24. aabbbbbbbbbbbba ⇒ aabbbbbbbbbbbb
25. babbbbbbbbbbbba ⇒ babbbbbbbbbbbb
26. aabbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbb
27. babbbbbbbbbbbbba ⇒ babbbbbbbbbbbbb
28. aabbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbb
29. babbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbb
30. aabbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbb
31. babbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbb
32. aabbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbb
33. babbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbb
34. aabbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbb
35. babbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbb
36. aabbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbb
37. babbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbb
38. aabbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbb
39. babbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbb
40. aabbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbb
41. babbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbb
42. aabbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbb
43. babbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbb
44. aabbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbb
45. babbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbb
46. aabbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbb
47. babbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbb
48. aabbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbb
49. babbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbb
50. aabbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbb
51. babbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbb
52. aabbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbb
53. babbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbb
54. aabbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbb
55. babbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbb
56. aabbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. babbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. babbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
66. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
67. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
68. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
69. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
70. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
71. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
72. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
73. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
74. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
75. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
76. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
77. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
78. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
79. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
80. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14 / frequency 2:

[2/0]ba39314lf:117,lp:39,ls:78,rf:39,rp:39,rs:1,re:1,lprp:39,lsrp:38,lprs:1
[2/1]ab10162lf:79,lp:1,ls:1,rf:79,rs:2,lprs:10,lsrs:1
[3/0]bbb2963lf:1444,rf:1444,rs:75,a:4
[3/1]aab1166lf:40,lp:39,ls:1,rf:41,rp:41,rs:2,re:2,lprp:39,lsrp:1,lsrs:1
[4/0]bbbb2811lf:1369,rf:1369,rs:73,a:6
[4/1]aabb1158lf:39,lp:39,rf:39,rp:39,rs:1,re:1,lprp:39,lprs:1,a:2
[5/0]bbbbb2663lf:1296,rf:1296,rs:71,a:9
[5/1]aabbb1154lf:38,lp:38,rf:38,rp:38,rs:1,re:1,lprp:38,lprs:1,a:4
[6/0]bbbbbb2519lf:1225,rf:1225,rs:69,a:10
[6/1]aabbbb1150lf:37,lp:37,rf:37,rp:37,rs:1,re:1,lprp:37,lprs:1,a:6
[7/0]bbbbbbb2379lf:1156,rf:1156,rs:67,a:13
[7/1]aabbbbb1146lf:36,lp:36,rf:36,rp:36,rs:1,re:1,lprp:36,lprs:1,a:9
[8/0]bbbbbbbb2243lf:1089,rf:1089,rs:65,a:14
[8/1]aabbbbbb1142lf:35,lp:35,rf:35,rp:35,rs:1,re:1,lprp:35,lprs:1,a:10
[9/0]bbbbbbbbb2111lf:1024,rf:1024,rs:63,a:17
[9/1]aabbbbbbb1138lf:34,lp:34,rf:34,rp:34,rs:1,re:1,lprp:34,lprs:1,a:13
[10/0]bbbbbbbbbb1983lf:961,rf:961,rs:61,a:19
[10/1]aabbbbbbbb1134lf:33,lp:33,rf:33,rp:33,rs:1,re:1,lprp:33,lprs:1,a:14
[11/0]bbbbbbbbbbb1859lf:900,rf:900,rs:59,a:21
[11/1]aabbbbbbbbb1130lf:32,lp:32,rf:32,rp:32,rs:1,re:1,lprp:32,lprs:1,a:17
[12/0]bbbbbbbbbbbb1739lf:841,rf:841,rs:57,a:22
[12/1]aabbbbbbbbbb1126lf:31,lp:31,rf:31,rp:31,rs:1,re:1,lprp:31,lprs:1,a:19
[13/0]bbbbbbbbbbbbb1623lf:784,rf:784,rs:55,a:25
[13/1]aabbbbbbbbbbb1122lf:30,lp:30,rf:30,rp:30,rs:1,re:1,lprp:30,lprs:1,a:21

Considering [length 2 / frequency 0] ba=c.

Step 2

Rewriting system is complete. See ⟨a, b | aba=aab, baa=ba⟩.