Morphocompletion for #7546 ⟨a, b | aaa=1, bbaabb=a⟩

Back:⟨a, b | aaa=1, bbaabb=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. bbaabb ⇒ a
2. aaa ⇒ 1
3. bbaaba ⇒ abaabb
4. baabbaa ⇒ aabbaab
5. baabbabbaa ⇒ aabbabbaab
6. baabbabbabbaa ⇒ aabbabbabbaab
7. baabbabbabbabbaa ⇒ aabbabbabbabbaab
8. baabbabbabbabbabbaa ⇒ aabbabbabbabbabbaab
9. baabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbaab
10. baabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbaab
11. baabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbaab
12. baabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbaab
13. baabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbaab
14. baabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbaab
15. baabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbaab
16. baabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbaab
17. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
18. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
19. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
20. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
21. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
22. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
23. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
24. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
25. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
26. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
27. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
28. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
29. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
30. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
31. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
32. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
33. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
34. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
35. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
36. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
37. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
38. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
39. abaabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ bbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
40. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
41. abaabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ bbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
42. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
43. abaabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ bbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
44. baabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ aabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
45. abaabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ bbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
46. abaabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaa ⇒ bbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbabbaab
...

Collecting factors up to length 14 / frequency 2:

[2/0]aa38255lf:90,lp:1,ls:44,rf:82,rp:38,lsrp:38
[2/1]ab6948lf:933,lp:5,rf:966,rp:1,rs:43,lprs:5,a:1
[3/0]bba1861lf:928,lp:2,rf:926,rp:5,a:1
[3/1]abb1851lf:927,ls:1,rf:922,rs:1,a:1
[4/0]baab38170lf:45,lp:38,rf:44,rs:43,lprs:38,a:1
[4/1]abba1847lf:926,rf:921,a:4
[5/0]bbabb1771lf:883,rf:883,rp:5,a:6
[5/1]babba1766lf:883,rf:883,a:6
[6/0]aabbaa10004lf:1,ls:1,rf:1,rp:1,lsrp:10,a:4
[6/1]bbabba1771lf:883,rf:883,rp:5,a:6
[7/0]abbabba1761lf:883,rf:878,a:6
[7/1]bbabbab1687lf:841,rf:841,rp:5,a:8
[8/0]bbabbabb1687lf:841,rf:841,rp:5,a:8
[8/1]babbabba1682lf:841,rf:841,a:8
[9/0]aabbabbaa10004lf:1,ls:1,rf:1,rp:1,lsrp:10,a:6
[9/1]bbabbabba1687lf:841,rf:841,rp:5,a:8
[10/0]abbabbabba1677lf:841,rf:836,a:8
[10/1]bbabbabbab1605lf:800,rf:800,rp:5,a:10
[11/0]bbabbabbabb1605lf:800,rf:800,rp:5,a:10
[11/1]babbabbabba1600lf:800,rf:800,a:10
[12/0]aabbabbabbaa10004lf:1,ls:1,rf:1,rp:1,lsrp:10,a:8
[12/1]bbabbabbabba1605lf:800,rf:800,rp:5,a:10
[13/0]abbabbabbabba1595lf:800,rf:795,a:10
[13/1]bbabbabbabbab1525lf:760,rf:760,rp:5,a:12

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

Step 2

Rewriting system is complete. See ⟨a, b | aaa=1, bbaabb=a⟩.