Morphocompletion for #19794 ⟨a, b | aaa=a, aaba=baa⟩

Back:⟨a, b | aaa=a, aaba=baa⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaa ⇒ a
2. baa ⇒ ba
3. aaba ⇒ ba
4. baba ⇒ bba
5. aabba ⇒ bba
6. babba ⇒ bbba
7. aabbba ⇒ bbba
8. babbba ⇒ bbbba
9. aabbbba ⇒ bbbba
10. babbbba ⇒ bbbbba
11. aabbbbba ⇒ bbbbba
12. babbbbba ⇒ bbbbbba
13. aabbbbbba ⇒ bbbbbba
14. babbbbbba ⇒ bbbbbbba
15. aabbbbbbba ⇒ bbbbbbba
16. babbbbbbba ⇒ bbbbbbbba
17. aabbbbbbbba ⇒ bbbbbbbba
18. babbbbbbbba ⇒ bbbbbbbbba
19. aabbbbbbbbba ⇒ bbbbbbbbba
20. babbbbbbbbba ⇒ bbbbbbbbbba
21. aabbbbbbbbbba ⇒ bbbbbbbbbba
22. babbbbbbbbbba ⇒ bbbbbbbbbbba
23. aabbbbbbbbbbba ⇒ bbbbbbbbbbba
24. babbbbbbbbbbba ⇒ bbbbbbbbbbbba
25. aabbbbbbbbbbbba ⇒ bbbbbbbbbbbba
26. babbbbbbbbbbbba ⇒ bbbbbbbbbbbbba
27. aabbbbbbbbbbbbba ⇒ bbbbbbbbbbbbba
28. babbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
29. aabbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
30. babbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbba
31. aabbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbba
32. babbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
33. aabbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
34. babbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbba
35. aabbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbba
36. babbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
37. aabbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
38. babbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbba
39. aabbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbba
40. babbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
41. aabbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
42. babbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbba
43. aabbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbba
44. babbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
45. aabbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
46. babbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbba
47. aabbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbba
48. babbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
49. aabbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
50. babbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbba
51. aabbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbba
52. babbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
53. aabbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
54. babbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbba
55. aabbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbba
56. babbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
57. aabbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
58. babbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbba
59. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbba
60. babbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
61. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
62. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
63. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
64. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
65. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
66. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
67. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
68. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
69. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
70. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
71. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
72. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
73. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
74. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
75. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
76. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
77. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
78. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
79. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
80. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 14 / frequency 2:

[2/0]ba41398lf:118,lp:40,ls:78,rf:79,rp:2,rs:79,re:2,lprp:1,lsrp:1,lprs:40,lsrs:78,a:1
[2/1]bb3080lf:1482,rf:1521,rp:77,a:4
[3/0]bbb2925lf:1406,rf:1444,rp:75,a:6
[3/1]bba1310lf:76,ls:76,rf:77,rp:2,rs:77,re:2,lsrp:1,lsrs:76,a:4
[4/0]bbbb2774lf:1332,rf:1369,rp:73,a:8
[4/1]bbba1302lf:74,ls:74,rf:75,rp:2,rs:75,re:2,lsrp:1,lsrs:74,a:6
[5/0]bbbbb2627lf:1260,rf:1296,rp:71,a:10
[5/1]bbbba1294lf:72,ls:72,rf:73,rp:2,rs:73,re:2,lsrp:1,lsrs:72,a:8
[6/0]bbbbbb2484lf:1190,rf:1225,rp:69,a:12
[6/1]bbbbba1286lf:70,ls:70,rf:71,rp:2,rs:71,re:2,lsrp:1,lsrs:70,a:10
[7/0]bbbbbbb2345lf:1122,rf:1156,rp:67,a:14
[7/1]bbbbbba1278lf:68,ls:68,rf:69,rp:2,rs:69,re:2,lsrp:1,lsrs:68,a:12
[8/0]bbbbbbbb2210lf:1056,rf:1089,rp:65,a:16
[8/1]bbbbbbba1270lf:66,ls:66,rf:67,rp:2,rs:67,re:2,lsrp:1,lsrs:66,a:14
[9/0]bbbbbbbbb2079lf:992,rf:1024,rp:63,a:18
[9/1]bbbbbbbba1262lf:64,ls:64,rf:65,rp:2,rs:65,re:2,lsrp:1,lsrs:64,a:16
[10/0]bbbbbbbbbb1952lf:930,rf:961,rp:61,a:20
[10/1]bbbbbbbbba1254lf:62,ls:62,rf:63,rp:2,rs:63,re:2,lsrp:1,lsrs:62,a:18
[11/0]bbbbbbbbbbb1829lf:870,rf:900,rp:59,a:22
[11/1]bbbbbbbbbba1246lf:60,ls:60,rf:61,rp:2,rs:61,re:2,lsrp:1,lsrs:60,a:20
[12/0]bbbbbbbbbbbb1710lf:812,rf:841,rp:57,a:24
[12/1]bbbbbbbbbbba1238lf:58,ls:58,rf:59,rp:2,rs:59,re:2,lsrp:1,lsrs:58,a:22
[13/0]bbbbbbbbbbbbb1595lf:756,rf:784,rp:55,a:26
[13/1]bbbbbbbbbbbba1230lf:56,ls:56,rf:57,rp:2,rs:57,re:2,lsrp:1,lsrs:56,a:24

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

Step 2

Rewriting system is complete. See ⟨a, b | aaa=a, aaba=baa⟩.