Morphocompletion for #4739 ⟨a, b | aabb=a, bbaa=a⟩

Back:⟨a, b | aabb=a, bbaa=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. abb ⇒ bba
2. bbaa ⇒ a
3. aaba ⇒ abaa
4. bbabaa ⇒ aba
5. bbababaa ⇒ ababa
6. bbabababaa ⇒ abababa
7. bbababababaa ⇒ ababababa
8. bbabababababaa ⇒ abababababa
9. bbababababababaa ⇒ ababababababa
10. bbabababababababaa ⇒ abababababababa
11. bbababababababababaa ⇒ ababababababababa
12. bbabababababababababaa ⇒ abababababababababa
13. bbababababababababababaa ⇒ ababababababababababa
14. bbabababababababababababaa ⇒ abababababababababababa
15. bbababababababababababababaa ⇒ ababababababababababababa
16. bbabababababababababababababaa ⇒ abababababababababababababa
17. bbababababababababababababababaa ⇒ ababababababababababababababa
18. bbabababababababababababababababaa ⇒ abababababababababababababababa
19. bbababababababababababababababababaa ⇒ ababababababababababababababababa
20. bbabababababababababababababababababaa ⇒ abababababababababababababababababa
21. bbababababababababababababababababababaa ⇒ ababababababababababababababababababa
22. bbabababababababababababababababababababaa ⇒ abababababababababababababababababababa
23. bbababababababababababababababababababababaa ⇒ ababababababababababababababababababababa
24. bbabababababababababababababababababababababaa ⇒ abababababababababababababababababababababa
25. bbababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababa
26. bbabababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababa
27. bbababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababa
28. bbabababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababa
29. bbababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababa
30. bbabababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababa
31. bbababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababa
32. bbabababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababa
33. bbababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababa
34. bbabababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababa
35. bbababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababa
36. bbabababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababa
37. bbababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababa
38. bbabababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababa
39. bbababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababa
40. bbabababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababa
41. bbababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababa
42. bbabababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababa
43. bbababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababa
44. bbabababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababa
45. bbababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababa
46. bbabababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababa
47. bbababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababa
48. bbabababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababa
49. bbababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababa
50. bbabababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababa
51. bbababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababa
52. bbabababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababa
53. bbababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababa
54. bbabababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababa
55. bbababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababa
56. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababa
57. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababa
58. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababa
59. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
60. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
61. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
62. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
63. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
64. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
65. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
66. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
67. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
68. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
69. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
70. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
71. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
72. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
73. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
74. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
75. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
76. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
77. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
78. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
79. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaa ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb10158lf:78,lp:77,ls:1,rf:1,rp:1,lsrp:10,a:1
[2/1]ba6010lf:3004,ls:1,rf:2928,rs:77,a:1
[3/0]aba16009lf:2927,ls:1,rf:2927,rp:77,rs:76,re:1,lsrp:10,a:2
[3/1]bab5776lf:2926,rf:2850,a:4
[4/0]baba5851lf:2926,rf:2850,rs:75,a:4
[4/1]abab5775lf:2850,rf:2850,rp:75,a:5
[5/0]ababa5851lf:2850,rf:2850,rp:75,rs:75,re:1,a:5
[5/1]babab5625lf:2850,rf:2775,a:5
[6/0]bababa5699lf:2850,rf:2775,rs:74,a:5
[6/1]ababab5624lf:2775,rf:2775,rp:74,a:6
[7/0]abababa5699lf:2775,rf:2775,rp:74,rs:74,re:1,a:6
[7/1]bababab5476lf:2775,rf:2701,a:6
[8/0]babababa5549lf:2775,rf:2701,rs:73,a:6
[8/1]abababab5475lf:2701,rf:2701,rp:73,a:7
[9/0]ababababa5549lf:2701,rf:2701,rp:73,rs:73,re:1,a:7
[9/1]babababab5329lf:2701,rf:2628,a:7
[10/0]bababababa5401lf:2701,rf:2628,rs:72,a:7
[10/1]ababababab5328lf:2628,rf:2628,rp:72,a:8
[11/0]abababababa5401lf:2628,rf:2628,rp:72,rs:72,re:1,a:8
[11/1]bababababab5184lf:2628,rf:2556,a:8
[12/0]babababababa5255lf:2628,rf:2556,rs:71,a:8
[12/1]abababababab5183lf:2556,rf:2556,rp:71,a:9
[13/0]ababababababa5255lf:2556,rf:2556,rp:71,rs:71,re:1,a:9
[13/1]babababababab5041lf:2556,rf:2485,a:9

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

Step 2

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