Morphocompletion for #6534 ⟨a, b | aaa=a, aaba=ab⟩

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

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. abaa ⇒ ab
3. aab ⇒ aba
4. abbaa ⇒ abb
5. abab ⇒ abba
6. abbbaa ⇒ abbb
7. abbab ⇒ abbba
8. abbbbaa ⇒ abbbb
9. abbbab ⇒ abbbba
10. abbbbbaa ⇒ abbbbb
11. abbbbab ⇒ abbbbba
12. abbbbbbaa ⇒ abbbbbb
13. abbbbbab ⇒ abbbbbba
14. abbbbbbbaa ⇒ abbbbbbb
15. abbbbbbab ⇒ abbbbbbba
16. abbbbbbbbaa ⇒ abbbbbbbb
17. abbbbbbbab ⇒ abbbbbbbba
18. abbbbbbbbbaa ⇒ abbbbbbbbb
19. abbbbbbbbab ⇒ abbbbbbbbba
20. abbbbbbbbbbaa ⇒ abbbbbbbbbb
21. abbbbbbbbbab ⇒ abbbbbbbbbba
22. abbbbbbbbbbbaa ⇒ abbbbbbbbbbb
23. abbbbbbbbbbab ⇒ abbbbbbbbbbba
24. abbbbbbbbbbbbaa ⇒ abbbbbbbbbbbb
25. abbbbbbbbbbbab ⇒ abbbbbbbbbbbba
26. abbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbb
27. abbbbbbbbbbbbab ⇒ abbbbbbbbbbbbba
28. abbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbb
29. abbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbba
30. abbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbb
31. abbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbba
32. abbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbb
33. abbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbba
34. abbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbb
35. abbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbba
36. abbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbb
37. abbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbba
38. abbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbb
39. abbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbba
40. abbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbb
41. abbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbba
42. abbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbb
43. abbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbba
44. abbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbb
45. abbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbba
46. abbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbb
47. abbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbba
48. abbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
49. abbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbba
50. abbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb
51. abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbba
52. abbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
53. abbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbba
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb
55. abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbba
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbba
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbba
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
66. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
67. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
68. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
69. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
70. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
71. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
72. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
73. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
74. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
75. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
76. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
77. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
78. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
79. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 14 / frequency 2:

[2/0]ab49390lf:116,lp:77,ls:39,rf:78,rp:78,rs:1,re:1,lprp:77,lsrp:48,lprs:1,a:2
[2/1]bb2964lf:1444,rf:1482,rs:38,a:5
[3/0]bbb2812lf:1369,rf:1406,rs:37,a:7
[3/1]abb1304lf:75,lp:75,rf:76,rp:76,rs:1,re:1,lprp:75,lprs:1,a:5
[4/0]bbbb2664lf:1296,rf:1332,rs:36,a:10
[4/1]abbb1296lf:73,lp:73,rf:74,rp:74,rs:1,re:1,lprp:73,lprs:1,a:7
[5/0]bbbbb2520lf:1225,rf:1260,rs:35,a:14
[5/1]abbbb1288lf:71,lp:71,rf:72,rp:72,rs:1,re:1,lprp:71,lprs:1,a:10
[6/0]bbbbbb2380lf:1156,rf:1190,rs:34,a:17
[6/1]abbbbb1280lf:69,lp:69,rf:70,rp:70,rs:1,re:1,lprp:69,lprs:1,a:14
[7/0]bbbbbbb2244lf:1089,rf:1122,rs:33,a:20
[7/1]abbbbbb1272lf:67,lp:67,rf:68,rp:68,rs:1,re:1,lprp:67,lprs:1,a:17
[8/0]bbbbbbbb2112lf:1024,rf:1056,rs:32,a:23
[8/1]abbbbbbb1264lf:65,lp:65,rf:66,rp:66,rs:1,re:1,lprp:65,lprs:1,a:20
[9/0]bbbbbbbbb1984lf:961,rf:992,rs:31,a:26
[9/1]abbbbbbbb1256lf:63,lp:63,rf:64,rp:64,rs:1,re:1,lprp:63,lprs:1,a:23
[10/0]bbbbbbbbbb1860lf:900,rf:930,rs:30,a:29
[10/1]abbbbbbbbb1248lf:61,lp:61,rf:62,rp:62,rs:1,re:1,lprp:61,lprs:1,a:26
[11/0]bbbbbbbbbbb1740lf:841,rf:870,rs:29,a:32
[11/1]abbbbbbbbbb1240lf:59,lp:59,rf:60,rp:60,rs:1,re:1,lprp:59,lprs:1,a:29
[12/0]bbbbbbbbbbbb1624lf:784,rf:812,rs:28,a:35
[12/1]abbbbbbbbbbb1232lf:57,lp:57,rf:58,rp:58,rs:1,re:1,lprp:57,lprs:1,a:32
[13/0]bbbbbbbbbbbbb1512lf:729,rf:756,rs:27,a:39
[13/1]abbbbbbbbbbbb1224lf:55,lp:55,rf:56,rp:56,rs:1,re:1,lprp:55,lprs:1,a:35

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

Step 2

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