| Back: | ⟨a, b | aaa=a, aabb=bab⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: arenaWorkLimit
| # | Rule |
|---|---|
| 1. | aaa ⇒ a |
| 2. | aabb ⇒ bab |
| 3. | abab ⇒ abb |
| 4. | abbab ⇒ abbb |
| 5. | abbbab ⇒ abbbb |
| 6. | abbbbab ⇒ abbbbb |
| 7. | abbbbbab ⇒ abbbbbb |
| 8. | abbbbbbab ⇒ abbbbbbb |
| 9. | abbbbbbbab ⇒ abbbbbbbb |
| 10. | abbbbbbbbab ⇒ abbbbbbbbb |
| 11. | abbbbbbbbbab ⇒ abbbbbbbbbb |
| 12. | abbbbbbbbbbab ⇒ abbbbbbbbbbb |
| 13. | abbbbbbbbbbbab ⇒ abbbbbbbbbbbb |
| 14. | abbbbbbbbbbbbab ⇒ abbbbbbbbbbbbb |
| 15. | abbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbb |
| 16. | abbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbb |
| 17. | abbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbb |
| 18. | abbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbb |
| 19. | abbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbb |
| 20. | abbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbb |
| 21. | abbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbb |
| 22. | abbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbb |
| 23. | abbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbb |
| 24. | abbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbb |
| 25. | abbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbb |
| 26. | abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb |
| 27. | abbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb |
| 28. | abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 29. | abbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 30. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 31. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 32. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 33. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 34. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 35. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 36. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 37. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 38. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 39. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 40. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 41. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 42. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 43. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 44. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 45. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 46. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 47. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 48. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 49. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 50. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 51. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 52. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 53. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 54. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 55. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 56. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 57. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 58. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 59. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 60. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 61. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 62. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 63. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 64. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 65. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 66. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| ... |
Collecting factors up to length 14 / frequency 2:
| [2/0] | ab | 64387 | lf:129,lp:64,ls:64,rf:65,rp:64,rs:1,lprp:64,lsrp:64,a:1 |
|---|---|---|---|
| [2/1] | bb | 4162 | lf:2017,ls:1,rf:2080,rs:64,a:1 |
| [3/0] | bbb | 4032 | lf:1953,rf:2016,rs:63,a:3 |
| [3/1] | abb | 258 | lf:64,lp:63,ls:1,rf:64,rp:64,rs:1,re:1,lprp:63,a:1 |
| [4/0] | bbbb | 3906 | lf:1891,rf:1953,rs:62,a:4 |
| [4/1] | abbb | 252 | lf:62,lp:62,rf:63,rp:63,rs:1,re:1,lprp:62,a:3 |
| [5/0] | bbbbb | 3782 | lf:1830,rf:1891,rs:61,a:5 |
| [5/1] | abbbb | 248 | lf:61,lp:61,rf:62,rp:62,rs:1,re:1,lprp:61,a:4 |
| [6/0] | bbbbbb | 3660 | lf:1770,rf:1830,rs:60,a:6 |
| [6/1] | abbbbb | 244 | lf:60,lp:60,rf:61,rp:61,rs:1,re:1,lprp:60,a:5 |
| [7/0] | bbbbbbb | 3540 | lf:1711,rf:1770,rs:59,a:7 |
| [7/1] | abbbbbb | 240 | lf:59,lp:59,rf:60,rp:60,rs:1,re:1,lprp:59,a:6 |
| [8/0] | bbbbbbbb | 3422 | lf:1653,rf:1711,rs:58,a:8 |
| [8/1] | abbbbbbb | 236 | lf:58,lp:58,rf:59,rp:59,rs:1,re:1,lprp:58,a:7 |
| [9/0] | bbbbbbbbb | 3306 | lf:1596,rf:1653,rs:57,a:9 |
| [9/1] | abbbbbbbb | 232 | lf:57,lp:57,rf:58,rp:58,rs:1,re:1,lprp:57,a:8 |
| [10/0] | bbbbbbbbbb | 3192 | lf:1540,rf:1596,rs:56,a:10 |
| [10/1] | abbbbbbbbb | 228 | lf:56,lp:56,rf:57,rp:57,rs:1,re:1,lprp:56,a:9 |
| [11/0] | bbbbbbbbbbb | 3080 | lf:1485,rf:1540,rs:55,a:11 |
| [11/1] | abbbbbbbbbb | 224 | lf:55,lp:55,rf:56,rp:56,rs:1,re:1,lprp:55,a:10 |
| [12/0] | bbbbbbbbbbbb | 2970 | lf:1431,rf:1485,rs:54,a:12 |
| [12/1] | abbbbbbbbbbb | 220 | lf:54,lp:54,rf:55,rp:55,rs:1,re:1,lprp:54,a:11 |
| [13/0] | bbbbbbbbbbbbb | 2862 | lf:1378,rf:1431,rs:53,a:13 |
| [13/1] | abbbbbbbbbbbb | 216 | lf:53,lp:53,rf:54,rp:54,rs:1,re:1,lprp:53,a:12 |
Considering [length 2 / frequency 0] ab=c.
Rewriting system is complete. See ⟨a, b | aaa=a, aabb=bab⟩.