| Back: | ⟨a, b | aa=a, abab=bab⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: arenaWorkLimit
| # | Rule |
|---|---|
| 1. | aa ⇒ a |
| 2. | abab ⇒ bab |
| 3. | abbab ⇒ bbab |
| 4. | abbbab ⇒ bbbab |
| 5. | abbbbab ⇒ bbbbab |
| 6. | abbbbbab ⇒ bbbbbab |
| 7. | abbbbbbab ⇒ bbbbbbab |
| 8. | abbbbbbbab ⇒ bbbbbbbab |
| 9. | abbbbbbbbab ⇒ bbbbbbbbab |
| 10. | abbbbbbbbbab ⇒ bbbbbbbbbab |
| 11. | abbbbbbbbbbab ⇒ bbbbbbbbbbab |
| 12. | abbbbbbbbbbbab ⇒ bbbbbbbbbbbab |
| 13. | abbbbbbbbbbbbab ⇒ bbbbbbbbbbbbab |
| 14. | abbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbab |
| 15. | abbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbab |
| 16. | abbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbab |
| 17. | abbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbab |
| 18. | abbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbab |
| 19. | abbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbab |
| 20. | abbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbab |
| 21. | abbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbab |
| 22. | abbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbab |
| 23. | abbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbab |
| 24. | abbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbab |
| 25. | abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbab |
| 26. | abbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbab |
| 27. | abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 28. | abbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 29. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 30. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 31. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 32. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 33. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 34. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 35. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 36. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 37. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 38. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 39. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 40. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 41. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 42. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 43. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 44. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 45. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 46. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 47. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 48. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 49. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 50. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 51. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 52. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 53. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 54. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 55. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 56. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 57. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 58. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 59. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 60. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 61. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 62. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 63. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 64. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| 65. | abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab |
| ... |
Collecting factors up to length 14 / frequency 2:
| [2/0] | ab | 64384 | lf:128,lp:64,ls:64,rf:64,rs:64,lprs:64,lsrs:64,a:1 |
|---|---|---|---|
| [2/1] | bb | 4095 | lf:2016,rf:2016,rp:63,a:2 |
| [3/0] | bbb | 3968 | lf:1953,rf:1953,rp:62,a:3 |
| [3/1] | bab | 1258 | lf:64,ls:64,rf:64,rp:1,rs:64,re:1,lsrp:1,lsrs:64,a:1 |
| [4/0] | bbbb | 3843 | lf:1891,rf:1891,rp:61,a:4 |
| [4/1] | bbab | 1254 | lf:63,ls:63,rf:63,rp:1,rs:63,re:1,lsrp:1,lsrs:63,a:2 |
| [5/0] | bbbbb | 3720 | lf:1830,rf:1830,rp:60,a:5 |
| [5/1] | bbbab | 1250 | lf:62,ls:62,rf:62,rp:1,rs:62,re:1,lsrp:1,lsrs:62,a:3 |
| [6/0] | bbbbbb | 3599 | lf:1770,rf:1770,rp:59,a:6 |
| [6/1] | bbbbab | 1246 | lf:61,ls:61,rf:61,rp:1,rs:61,re:1,lsrp:1,lsrs:61,a:4 |
| [7/0] | bbbbbbb | 3480 | lf:1711,rf:1711,rp:58,a:7 |
| [7/1] | bbbbbab | 1242 | lf:60,ls:60,rf:60,rp:1,rs:60,re:1,lsrp:1,lsrs:60,a:5 |
| [8/0] | bbbbbbbb | 3363 | lf:1653,rf:1653,rp:57,a:8 |
| [8/1] | bbbbbbab | 1238 | lf:59,ls:59,rf:59,rp:1,rs:59,re:1,lsrp:1,lsrs:59,a:6 |
| [9/0] | bbbbbbbbb | 3248 | lf:1596,rf:1596,rp:56,a:9 |
| [9/1] | bbbbbbbab | 1234 | lf:58,ls:58,rf:58,rp:1,rs:58,re:1,lsrp:1,lsrs:58,a:7 |
| [10/0] | bbbbbbbbbb | 3135 | lf:1540,rf:1540,rp:55,a:10 |
| [10/1] | bbbbbbbbab | 1230 | lf:57,ls:57,rf:57,rp:1,rs:57,re:1,lsrp:1,lsrs:57,a:8 |
| [11/0] | bbbbbbbbbbb | 3024 | lf:1485,rf:1485,rp:54,a:11 |
| [11/1] | bbbbbbbbbab | 1226 | lf:56,ls:56,rf:56,rp:1,rs:56,re:1,lsrp:1,lsrs:56,a:9 |
| [12/0] | bbbbbbbbbbbb | 2915 | lf:1431,rf:1431,rp:53,a:12 |
| [12/1] | bbbbbbbbbbab | 1222 | lf:55,ls:55,rf:55,rp:1,rs:55,re:1,lsrp:1,lsrs:55,a:10 |
| [13/0] | bbbbbbbbbbbbb | 2808 | lf:1378,rf:1378,rp:52,a:13 |
| [13/1] | bbbbbbbbbbbab | 1218 | lf:54,ls:54,rf:54,rp:1,rs:54,re:1,lsrp:1,lsrs:54,a:11 |
Considering [length 2 / frequency 0] ab=c.
Rewriting system is complete. See ⟨a, b | aa=a, abab=bab⟩.