Morphocompletion for #11025 ⟨a, b | abba=aab, bbbb=1⟩

Back:⟨a, b | abba=aab, bbbb=1⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. bbbb ⇒ 1
2. abba ⇒ aab
3. aabbba ⇒ aabab
4. aababbba ⇒ aababab
5. aabababbba ⇒ aabababab
6. aababababbba ⇒ aababababab
7. aabababababbba ⇒ aabababababab
8. aababababababbba ⇒ aababababababab
9. aabababababababbba ⇒ aabababababababab
10. aababababababababbba ⇒ aababababababababab
11. aabababababababababbba ⇒ aabababababababababab
12. aababababababababababbba ⇒ aababababababababababab
13. aabababababababababababbba ⇒ aabababababababababababab
14. aababababababababababababbba ⇒ aababababababababababababab
15. aabababababababababababababbba ⇒ aabababababababababababababab
16. aababababababababababababababbba ⇒ aababababababababababababababab
17. aabababababababababababababababbba ⇒ aabababababababababababababababab
18. aababababababababababababababababbba ⇒ aababababababababababababababababab
19. aabababababababababababababababababbba ⇒ aabababababababababababababababababab
20. aababababababababababababababababababbba ⇒ aababababababababababababababababababab
21. aabababababababababababababababababababbba ⇒ aabababababababababababababababababababab
22. aababababababababababababababababababababbba ⇒ aababababababababababababababababababababab
23. aabababababababababababababababababababababbba ⇒ aabababababababababababababababababababababab
24. aababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababab
25. aabababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababab
26. aababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababab
27. aabababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababab
28. aababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababab
29. aabababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababab
30. aababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababab
31. aabababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababab
32. aababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababab
33. aabababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababab
34. aababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababab
35. aabababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababab
36. aababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababab
37. aabababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababab
38. aababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababab
39. aabababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababab
40. aababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababab
41. aabababababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababababab
42. aababababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababababab
43. aabababababababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababababababab
44. aababababababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababababababab
45. aabababababababababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababababababababab
46. aababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababababababababab
47. aabababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababababababababababab
48. aababababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababababababababababab
49. aabababababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababab
50. aababababababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababab
51. aabababababababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababab
52. aababababababababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababab
...

Collecting factors up to length 14 / frequency 2:

[2/0]ab3654lf:1276,lp:1,rf:1326,rs:51,lprs:1
[2/1]ba2602lf:1276,ls:51,rf:1275
[3/0]bab2550lf:1225,rf:1275,rs:50,a:2
[3/1]aba2500lf:1225,rf:1275,a:2
[4/0]abab2550lf:1225,rf:1275,rs:50,a:2
[4/1]baba2401lf:1176,rf:1225,a:3
[5/0]babab2450lf:1176,rf:1225,rs:49,a:3
[5/1]ababa2401lf:1176,rf:1225,a:3
[6/0]ababab2450lf:1176,rf:1225,rs:49,a:3
[6/1]bababa2304lf:1128,rf:1176,a:4
[7/0]bababab2352lf:1128,rf:1176,rs:48,a:4
[7/1]abababa2304lf:1128,rf:1176,a:4
[8/0]abababab2352lf:1128,rf:1176,rs:48,a:4
[8/1]babababa2209lf:1081,rf:1128,a:5
[9/0]babababab2256lf:1081,rf:1128,rs:47,a:5
[9/1]ababababa2209lf:1081,rf:1128,a:5
[10/0]ababababab2256lf:1081,rf:1128,rs:47,a:5
[10/1]bababababa2116lf:1035,rf:1081,a:6
[11/0]bababababab2162lf:1035,rf:1081,rs:46,a:6
[11/1]abababababa2116lf:1035,rf:1081,a:6
[12/0]abababababab2162lf:1035,rf:1081,rs:46,a:6
[12/1]babababababa2025lf:990,rf:1035,a:7
[13/0]babababababab2070lf:990,rf:1035,rs:45,a:7
[13/1]ababababababa2025lf:990,rf:1035,a:7

Considering [length 3 / frequency 0] bab=c.

Step 2

Rewriting system is complete. See ⟨a, b | abba=aab, bbbb=1⟩.