| Back: | ⟨a, b | aab=b, baba=bab⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: arenaWorkLimit
| # | Rule |
|---|---|
| 1. | aab ⇒ b |
| 2. | baba ⇒ bab |
| 3. | babba ⇒ babb |
| 4. | babbba ⇒ babbb |
| 5. | babbbba ⇒ babbbb |
| 6. | babbbbba ⇒ babbbbb |
| 7. | babbbbbba ⇒ babbbbbb |
| 8. | babbbbbbba ⇒ babbbbbbb |
| 9. | babbbbbbbba ⇒ babbbbbbbb |
| 10. | babbbbbbbbba ⇒ babbbbbbbbb |
| 11. | babbbbbbbbbba ⇒ babbbbbbbbbb |
| 12. | babbbbbbbbbbba ⇒ babbbbbbbbbbb |
| 13. | babbbbbbbbbbbba ⇒ babbbbbbbbbbbb |
| 14. | babbbbbbbbbbbbba ⇒ babbbbbbbbbbbbb |
| 15. | babbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbb |
| 16. | babbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbb |
| 17. | babbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbb |
| 18. | babbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbb |
| 19. | babbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbb |
| 20. | babbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbb |
| 21. | babbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbb |
| 22. | babbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbb |
| 23. | babbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbb |
| 24. | babbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbb |
| 25. | babbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbb |
| 26. | babbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbb |
| 27. | babbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbb |
| 28. | babbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 29. | babbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 30. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 31. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 32. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 33. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 34. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 35. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 36. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 37. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 38. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 39. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 40. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 41. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 42. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 43. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 44. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 45. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 46. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 47. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 48. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 49. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 50. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 51. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 52. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 53. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 54. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 55. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 56. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 57. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 58. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 59. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 60. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 61. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 62. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 63. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 64. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 65. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| ... |
Collecting factors up to length 14 / frequency 2:
| [2/0] | ba | 64384 | lf:128,lp:64,ls:64,rf:64,rp:64,lprp:64,lsrp:64,a:1 |
|---|---|---|---|
| [2/1] | bb | 4095 | lf:2016,rf:2016,rs:63,a:2 |
| [3/0] | bbb | 3968 | lf:1953,rf:1953,rs:62,a:3 |
| [3/1] | bab | 1258 | lf:64,lp:64,rf:64,rp:64,rs:1,re:1,lprp:64,lprs:1,a:1 |
| [4/0] | bbbb | 3843 | lf:1891,rf:1891,rs:61,a:4 |
| [4/1] | babb | 1254 | lf:63,lp:63,rf:63,rp:63,rs:1,re:1,lprp:63,lprs:1,a:2 |
| [5/0] | bbbbb | 3720 | lf:1830,rf:1830,rs:60,a:5 |
| [5/1] | babbb | 1250 | lf:62,lp:62,rf:62,rp:62,rs:1,re:1,lprp:62,lprs:1,a:3 |
| [6/0] | bbbbbb | 3599 | lf:1770,rf:1770,rs:59,a:6 |
| [6/1] | babbbb | 1246 | lf:61,lp:61,rf:61,rp:61,rs:1,re:1,lprp:61,lprs:1,a:4 |
| [7/0] | bbbbbbb | 3480 | lf:1711,rf:1711,rs:58,a:7 |
| [7/1] | babbbbb | 1242 | lf:60,lp:60,rf:60,rp:60,rs:1,re:1,lprp:60,lprs:1,a:5 |
| [8/0] | bbbbbbbb | 3363 | lf:1653,rf:1653,rs:57,a:8 |
| [8/1] | babbbbbb | 1238 | lf:59,lp:59,rf:59,rp:59,rs:1,re:1,lprp:59,lprs:1,a:6 |
| [9/0] | bbbbbbbbb | 3248 | lf:1596,rf:1596,rs:56,a:9 |
| [9/1] | babbbbbbb | 1234 | lf:58,lp:58,rf:58,rp:58,rs:1,re:1,lprp:58,lprs:1,a:7 |
| [10/0] | bbbbbbbbbb | 3135 | lf:1540,rf:1540,rs:55,a:10 |
| [10/1] | babbbbbbbb | 1230 | lf:57,lp:57,rf:57,rp:57,rs:1,re:1,lprp:57,lprs:1,a:8 |
| [11/0] | bbbbbbbbbbb | 3024 | lf:1485,rf:1485,rs:54,a:11 |
| [11/1] | babbbbbbbbb | 1226 | lf:56,lp:56,rf:56,rp:56,rs:1,re:1,lprp:56,lprs:1,a:9 |
| [12/0] | bbbbbbbbbbbb | 2915 | lf:1431,rf:1431,rs:53,a:12 |
| [12/1] | babbbbbbbbbb | 1222 | lf:55,lp:55,rf:55,rp:55,rs:1,re:1,lprp:55,lprs:1,a:10 |
| [13/0] | bbbbbbbbbbbbb | 2808 | lf:1378,rf:1378,rs:52,a:13 |
| [13/1] | babbbbbbbbbbb | 1218 | lf:54,lp:54,rf:54,rp:54,rs:1,re:1,lprp:54,lprs:1,a:11 |
Considering [length 2 / frequency 0] ba=c.
Rewriting system is complete. See ⟨a, b | aab=b, baba=bab⟩.