Morphocompletion for #12454 ⟨a, b | aabb=ab, abaa=a⟩

Back:⟨a, b | aabb=ab, abaa=a⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

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

Collecting factors up to length 14 / frequency 2:

[2/0]ab39394lf:119,lp:78,ls:39,rf:78,rp:78,rs:1,re:1,lprp:77,lsrp:39
[2/1]bb3006lf:1483,ls:1,rf:1483,rs:39
[3/0]bbb2851lf:1406,rf:1407,rs:38,a:4
[3/1]abb308lf:77,lp:76,ls:1,rf:76,rp:76,rs:1,re:1,lprp:75
[4/0]bbbb2702lf:1332,rf:1333,rs:37,a:7
[4/1]abbb298lf:74,lp:74,rf:74,rp:74,rs:1,re:1,lprp:73,a:4
[5/0]bbbbb2557lf:1260,rf:1261,rs:36,a:9
[5/1]abbbb290lf:72,lp:72,rf:72,rp:72,rs:1,re:1,lprp:71,a:7
[6/0]bbbbbb2416lf:1190,rf:1191,rs:35,a:11
[6/1]abbbbb282lf:70,lp:70,rf:70,rp:70,rs:1,re:1,lprp:69,a:9
[7/0]bbbbbbb2279lf:1122,rf:1123,rs:34,a:13
[7/1]abbbbbb274lf:68,lp:68,rf:68,rp:68,rs:1,re:1,lprp:67,a:11
[8/0]bbbbbbbb2146lf:1056,rf:1057,rs:33,a:15
[8/1]abbbbbbb266lf:66,lp:66,rf:66,rp:66,rs:1,re:1,lprp:65,a:13
[9/0]bbbbbbbbb2017lf:992,rf:993,rs:32,a:17
[9/1]abbbbbbbb258lf:64,lp:64,rf:64,rp:64,rs:1,re:1,lprp:63,a:15
[10/0]bbbbbbbbbb1892lf:930,rf:931,rs:31,a:19
[10/1]abbbbbbbbb250lf:62,lp:62,rf:62,rp:62,rs:1,re:1,lprp:61,a:17
[11/0]bbbbbbbbbbb1771lf:870,rf:871,rs:30,a:21
[11/1]abbbbbbbbbb242lf:60,lp:60,rf:60,rp:60,rs:1,re:1,lprp:59,a:19
[12/0]bbbbbbbbbbbb1654lf:812,rf:813,rs:29,a:23
[12/1]abbbbbbbbbbb234lf:58,lp:58,rf:58,rp:58,rs:1,re:1,lprp:57,a:21
[13/0]bbbbbbbbbbbbb1541lf:756,rf:757,rs:28,a:25
[13/1]abbbbbbbbbbbb226lf:56,lp:56,rf:56,rp:56,rs:1,re:1,lprp:55,a:23

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

Step 2

Rewriting system is complete. See ⟨a, b | aabb=ab, abaa=a⟩.