| Back: | ⟨a, b | aab=bb, bbaa=bb⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: arenaWorkLimit
| # | Rule |
|---|---|
| 1. | aab ⇒ bb |
| 2. | bbaa ⇒ bb |
| 3. | bbbb ⇒ bbb |
| 4. | bbabb ⇒ bbab |
| 5. | bbabaa ⇒ bbab |
| 6. | bbababb ⇒ bbabab |
| 7. | bbababaa ⇒ bbabab |
| 8. | bbabababb ⇒ bbababab |
| 9. | bbabababaa ⇒ bbababab |
| 10. | bbababababb ⇒ bbabababab |
| 11. | bbababababaa ⇒ bbabababab |
| 12. | bbabababababb ⇒ bbababababab |
| 13. | bbabababababaa ⇒ bbababababab |
| 14. | bbababababababb ⇒ bbabababababab |
| 15. | bbababababababaa ⇒ bbabababababab |
| 16. | bbabababababababb ⇒ bbababababababab |
| 17. | bbabababababababaa ⇒ bbababababababab |
| 18. | bbababababababababb ⇒ bbabababababababab |
| 19. | bbababababababababaa ⇒ bbabababababababab |
| 20. | bbabababababababababb ⇒ bbababababababababab |
| 21. | bbabababababababababaa ⇒ bbababababababababab |
| 22. | bbababababababababababb ⇒ bbabababababababababab |
| 23. | bbababababababababababaa ⇒ bbabababababababababab |
| 24. | bbabababababababababababb ⇒ bbababababababababababab |
| 25. | bbabababababababababababaa ⇒ bbababababababababababab |
| 26. | bbababababababababababababb ⇒ bbabababababababababababab |
| 27. | bbababababababababababababaa ⇒ bbabababababababababababab |
| 28. | bbabababababababababababababb ⇒ bbababababababababababababab |
| 29. | bbabababababababababababababaa ⇒ bbababababababababababababab |
| 30. | bbababababababababababababababb ⇒ bbabababababababababababababab |
| 31. | bbababababababababababababababaa ⇒ bbabababababababababababababab |
| 32. | bbabababababababababababababababb ⇒ bbababababababababababababababab |
| 33. | bbabababababababababababababababaa ⇒ bbababababababababababababababab |
| 34. | bbababababababababababababababababb ⇒ bbabababababababababababababababab |
| 35. | bbababababababababababababababababaa ⇒ bbabababababababababababababababab |
| 36. | bbabababababababababababababababababb ⇒ bbababababababababababababababababab |
| 37. | bbabababababababababababababababababaa ⇒ bbababababababababababababababababab |
| 38. | bbababababababababababababababababababb ⇒ bbabababababababababababababababababab |
| 39. | bbababababababababababababababababababaa ⇒ bbabababababababababababababababababab |
| 40. | bbabababababababababababababababababababb ⇒ bbababababababababababababababababababab |
| 41. | bbabababababababababababababababababababaa ⇒ bbababababababababababababababababababab |
| 42. | bbababababababababababababababababababababb ⇒ bbabababababababababababababababababababab |
| 43. | bbababababababababababababababababababababaa ⇒ bbabababababababababababababababababababab |
| 44. | bbabababababababababababababababababababababb ⇒ bbababababababababababababababababababababab |
| 45. | bbabababababababababababababababababababababaa ⇒ bbababababababababababababababababababababab |
| 46. | bbababababababababababababababababababababababb ⇒ bbabababababababababababababababababababababab |
| 47. | bbababababababababababababababababababababababaa ⇒ bbabababababababababababababababababababababab |
| 48. | bbabababababababababababababababababababababababb ⇒ bbababababababababababababababababababababababab |
| 49. | bbabababababababababababababababababababababababaa ⇒ bbababababababababababababababababababababababab |
| 50. | bbababababababababababababababababababababababababb ⇒ bbabababababababababababababababababababababababab |
| 51. | bbababababababababababababababababababababababababaa ⇒ bbabababababababababababababababababababababababab |
| 52. | bbabababababababababababababababababababababababababb ⇒ bbababababababababababababababababababababababababab |
| 53. | bbabababababababababababababababababababababababababaa ⇒ bbababababababababababababababababababababababababab |
| 54. | bbababababababababababababababababababababababababababb ⇒ bbabababababababababababababababababababababababababab |
| 55. | bbababababababababababababababababababababababababababaa ⇒ bbabababababababababababababababababababababababababab |
| 56. | bbabababababababababababababababababababababababababababb ⇒ bbababababababababababababababababababababababababababab |
| 57. | bbabababababababababababababababababababababababababababaa ⇒ bbababababababababababababababababababababababababababab |
| 58. | bbababababababababababababababababababababababababababababb ⇒ bbabababababababababababababababababababababababababababab |
| 59. | bbababababababababababababababababababababababababababababaa ⇒ bbabababababababababababababababababababababababababababab |
| 60. | bbabababababababababababababababababababababababababababababb ⇒ bbababababababababababababababababababababababababababababab |
| 61. | bbabababababababababababababababababababababababababababababaa ⇒ bbababababababababababababababababababababababababababababab |
| 62. | bbababababababababababababababababababababababababababababababb ⇒ bbabababababababababababababababababababababababababababababab |
| 63. | bbababababababababababababababababababababababababababababababaa ⇒ bbabababababababababababababababababababababababababababababab |
| 64. | bbabababababababababababababababababababababababababababababababb ⇒ bbababababababababababababababababababababababababababababababab |
| 65. | bbabababababababababababababababababababababababababababababababaa ⇒ bbababababababababababababababababababababababababababababababab |
| 66. | bbababababababababababababababababababababababababababababababababb ⇒ bbabababababababababababababababababababababababababababababababab |
| ... |
Collecting factors up to length 14 / frequency 2:
| [2/0] | bb | 35335 | lf:99,lp:65,ls:33,rf:67,rp:66,rs:3,re:2,lprp:65,lsrp:33,lprs:2,lsrs:1 |
|---|---|---|---|
| [2/1] | ab | 2113 | lf:1025,ls:1,rf:1024,rs:63 |
| [3/0] | bab | 2111 | lf:1024,rf:1024,rs:63,a:3 |
| [3/1] | bbb | 2008 | lf:2,lp:1,ls:1,rf:1,rp:1,rs:1,re:1,lprp:1,lsrp:1,lprs:1,lsrs:1,a:2 |
| [4/0] | bbab | 2256 | lf:63,lp:63,rf:63,rp:63,rs:2,re:2,lprp:63,lprs:2,a:3 |
| [4/1] | abab | 1983 | lf:961,rf:961,rs:61,a:5 |
| [5/0] | babab | 1983 | lf:961,rf:961,rs:61,a:5 |
| [5/1] | ababa | 1830 | lf:930,rf:900,a:6 |
| [6/0] | bbabab | 2248 | lf:61,lp:61,rf:61,rp:61,rs:2,re:2,lprp:61,lprs:2,a:5 |
| [6/1] | ababab | 1859 | lf:900,rf:900,rs:59,a:7 |
| [7/0] | bababab | 1859 | lf:900,rf:900,rs:59,a:7 |
| [7/1] | abababa | 1711 | lf:870,rf:841,a:8 |
| [8/0] | bbababab | 2240 | lf:59,lp:59,rf:59,rp:59,rs:2,re:2,lprp:59,lprs:2,a:7 |
| [8/1] | abababab | 1739 | lf:841,rf:841,rs:57,a:9 |
| [9/0] | babababab | 1739 | lf:841,rf:841,rs:57,a:9 |
| [9/1] | ababababa | 1596 | lf:812,rf:784,a:10 |
| [10/0] | bbabababab | 2232 | lf:57,lp:57,rf:57,rp:57,rs:2,re:2,lprp:57,lprs:2,a:9 |
| [10/1] | ababababab | 1623 | lf:784,rf:784,rs:55,a:11 |
| [11/0] | bababababab | 1623 | lf:784,rf:784,rs:55,a:11 |
| [11/1] | abababababa | 1485 | lf:756,rf:729,a:12 |
| [12/0] | bbababababab | 2224 | lf:55,lp:55,rf:55,rp:55,rs:2,re:2,lprp:55,lprs:2,a:11 |
| [12/1] | abababababab | 1511 | lf:729,rf:729,rs:53,a:13 |
| [13/0] | babababababab | 1511 | lf:729,rf:729,rs:53,a:13 |
| [13/1] | ababababababa | 1378 | lf:702,rf:676,a:14 |
Considering [length 2 / frequency 0] bb=c.
Rewriting system is complete. See ⟨a, b | aab=bb, bbaa=bb⟩.