| Back: | ⟨a, b | aa=1, babbbbab=b⟩ |
|---|
Solved by morph:3/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aa ⇒ 1 |
| 2. | bbabab ⇒ bababb |
| 3. | bbbbab ⇒ babbbb |
| 4. | bababbbb ⇒ b |
| 5. | bababbabbbb ⇒ bbab |
| 6. | bababbbabbbb ⇒ bbbab |
| 7. | bababbabbabbbb ⇒ bbabbab |
| 8. | bababbabbbabbbb ⇒ bbabbbab |
| 9. | bababbbabbabbbb ⇒ bbbabbab |
| 10. | bababbbabbbabbbb ⇒ bbbabbbab |
| 11. | bababbabbabbabbbb ⇒ bbabbabbab |
| 12. | bababbabbabbbabbbb ⇒ bbabbabbbab |
| 13. | bababbabbbabbabbbb ⇒ bbabbbabbab |
| 14. | bababbbabbabbabbbb ⇒ bbbabbabbab |
| 15. | bababbabbbabbbabbbb ⇒ bbabbbabbbab |
| 16. | bababbbabbabbbabbbb ⇒ bbbabbabbbab |
| 17. | bababbbabbbabbabbbb ⇒ bbbabbbabbab |
| 18. | bababbabbabbabbabbbb ⇒ bbabbabbabbab |
| 19. | bababbbabbbabbbabbbb ⇒ bbbabbbabbbab |
| 20. | bababbabbabbabbbabbbb ⇒ bbabbabbabbbab |
| 21. | bababbabbabbbabbabbbb ⇒ bbabbabbbabbab |
| 22. | bababbabbbabbabbabbbb ⇒ bbabbbabbabbab |
| 23. | bababbbabbabbabbabbbb ⇒ bbbabbabbabbab |
| 24. | bababbabbabbbabbbabbbb ⇒ bbabbabbbabbbab |
| 25. | bababbabbbabbabbbabbbb ⇒ bbabbbabbabbbab |
| 26. | bababbabbbabbbabbabbbb ⇒ bbabbbabbbabbab |
| 27. | bababbbabbabbabbbabbbb ⇒ bbbabbabbabbbab |
| 28. | bababbbabbabbbabbabbbb ⇒ bbbabbabbbabbab |
| 29. | bababbbabbbabbabbabbbb ⇒ bbbabbbabbabbab |
| 30. | bababbabbabbabbabbabbbb ⇒ bbabbabbabbabbab |
| 31. | bababbabbbabbbabbbabbbb ⇒ bbabbbabbbabbbab |
| 32. | bababbbabbabbbabbbabbbb ⇒ bbbabbabbbabbbab |
| 33. | bababbbabbbabbabbbabbbb ⇒ bbbabbbabbabbbab |
| 34. | bababbbabbbabbbabbabbbb ⇒ bbbabbbabbbabbab |
| 35. | bababbabbabbabbabbbabbbb ⇒ bbabbabbabbabbbab |
| 36. | bababbabbabbabbbabbabbbb ⇒ bbabbabbabbbabbab |
| 37. | bababbabbabbbabbabbabbbb ⇒ bbabbabbbabbabbab |
| 38. | bababbabbbabbabbabbabbbb ⇒ bbabbbabbabbabbab |
| 39. | bababbbabbabbabbabbabbbb ⇒ bbbabbabbabbabbab |
| 40. | bababbbabbbabbbabbbabbbb ⇒ bbbabbbabbbabbbab |
| 41. | bababbabbabbabbbabbbabbbb ⇒ bbabbabbabbbabbbab |
| 42. | bababbabbabbbabbabbbabbbb ⇒ bbabbabbbabbabbbab |
| 43. | bababbabbabbbabbbabbabbbb ⇒ bbabbabbbabbbabbab |
| 44. | bababbabbbabbabbabbbabbbb ⇒ bbabbbabbabbabbbab |
| 45. | bababbabbbabbabbbabbabbbb ⇒ bbabbbabbabbbabbab |
| 46. | bababbabbbabbbabbabbabbbb ⇒ bbabbbabbbabbabbab |
| 47. | bababbbabbabbabbabbbabbbb ⇒ bbbabbabbabbabbbab |
| 48. | bababbbabbabbabbbabbabbbb ⇒ bbbabbabbabbbabbab |
| 49. | bababbbabbabbbabbabbabbbb ⇒ bbbabbabbbabbabbab |
| 50. | bababbbabbbabbabbabbabbbb ⇒ bbbabbbabbabbabbab |
| 51. | bababbabbabbabbabbabbabbbb ⇒ bbabbabbabbabbabbab |
| 52. | bababbabbabbbabbbabbbabbbb ⇒ bbabbabbbabbbabbbab |
| 53. | bababbabbbabbabbbabbbabbbb ⇒ bbabbbabbabbbabbbab |
| 54. | bababbabbbabbbabbabbbabbbb ⇒ bbabbbabbbabbabbbab |
| 55. | bababbabbbabbbabbbabbabbbb ⇒ bbabbbabbbabbbabbab |
| 56. | bababbbabbabbabbbabbbabbbb ⇒ bbbabbabbabbbabbbab |
| 57. | bababbbabbabbbabbabbbabbbb ⇒ bbbabbabbbabbabbbab |
| 58. | bababbbabbabbbabbbabbabbbb ⇒ bbbabbabbbabbbabbab |
| 59. | bababbbabbbabbabbabbbabbbb ⇒ bbbabbbabbabbabbbab |
| 60. | bababbbabbbabbabbbabbabbbb ⇒ bbbabbbabbabbbabbab |
| 61. | bababbbabbbabbbabbabbabbbb ⇒ bbbabbbabbbabbabbab |
| 62. | bababbabbabbabbabbabbbabbbb ⇒ bbabbabbabbabbabbbab |
| 63. | bababbabbabbabbabbbabbabbbb ⇒ bbabbabbabbabbbabbab |
| 64. | bababbabbabbabbbabbabbabbbb ⇒ bbabbabbabbbabbabbab |
| 65. | bababbabbabbbabbabbabbabbbb ⇒ bbabbabbbabbabbabbab |
| 66. | bababbabbbabbabbabbabbabbbb ⇒ bbabbbabbabbabbabbab |
| 67. | bababbabbbabbbabbbabbbabbbb ⇒ bbabbbabbbabbbabbbab |
| 68. | bababbbabbabbabbabbabbabbbb ⇒ bbbabbabbabbabbabbab |
| 69. | bababbbabbabbbabbbabbbabbbb ⇒ bbbabbabbbabbbabbbab |
| 70. | bababbbabbbabbabbbabbbabbbb ⇒ bbbabbbabbabbbabbbab |
| 71. | bababbbabbbabbbabbabbbabbbb ⇒ bbbabbbabbbabbabbbab |
| 72. | bababbbabbbabbbabbbabbabbbb ⇒ bbbabbbabbbabbbabbab |
| ... |
Collecting factors up to length 14 / frequency 2:
| [2/0] | bb | 71206 | lf:636,lp:2,ls:69,rf:429,rp:68,rs:2,lsrp:68,lprs:2,a:2 |
|---|---|---|---|
| [2/1] | ba | 805 | lf:436,lp:69,rf:298,rp:2,a:2 |
| [3/0] | bab | 70875 | lf:436,lp:69,ls:2,rf:298,rp:2,rs:68,lsrp:2,lprs:68,a:2 |
| [3/1] | bbb | 32504 | lf:270,lp:1,ls:69,rf:132,rp:31,rs:1,lsrp:31,lprs:1,a:2 |
| [4/0] | bbbb | 1142 | lf:70,lp:1,ls:69,rf:1,rs:1,lprs:1,a:2 |
| [4/1] | bbab | 700 | lf:297,lp:1,ls:1,rf:295,rp:37,rs:68,re:1,a:2 |
| [5/0] | babab | 10142 | lf:70,lp:69,ls:1,rf:1,rp:1,lsrp:10,a:3 |
| [5/1] | bbabb | 558 | lf:295,rf:227,rp:36,a:4 |
| [6/0] | babbab | 329 | lf:165,rf:128,rs:36,a:4 |
| [6/1] | bbabbb | 282 | lf:167,rf:99,rp:16,a:4 |
| [7/0] | bbabbab | 313 | lf:128,rf:128,rp:20,rs:36,re:1,a:7 |
| [7/1] | babbbab | 259 | lf:130,rf:99,rs:30,a:5 |
| [8/0] | bbabbbab | 245 | lf:99,rf:99,rp:16,rs:30,re:1,a:8 |
| [8/1] | bbabbabb | 239 | lf:128,rf:92,rp:19,a:7 |
| [9/0] | bbabbbabb | 183 | lf:99,rf:69,rp:15,a:8 |
| [9/1] | babbabbab | 147 | lf:74,rf:54,rs:19,a:7 |
| [10/0] | bbabbabbab | 139 | lf:54,rf:54,rp:11,rs:19,re:1,a:11 |
| [10/1] | babbabbabb | 109 | lf:74,rf:35,a:7 |
| [11/0] | bbabbbabbab | 100 | lf:38,rf:38,rp:8,rs:15,re:1,a:13 |
| [11/1] | bbabbabbbab | 100 | lf:38,rf:38,rp:8,rs:15,re:1,a:12 |
| [12/0] | bbabbbabbbab | 83 | lf:31,rf:31,rp:7,rs:13,re:1,a:14 |
| [12/1] | bbabbbabbabb | 68 | lf:38,rf:23,rp:7,a:13 |
| [13/0] | bbabbabbabbab | 61 | lf:22,rf:22,rp:6,rs:10,re:1,a:19 |
| [13/1] | bbabbbabbbabb | 55 | lf:31,rf:18,rp:6,a:14 |
Considering [length 3 / frequency 0] bab=c.
Rewriting system is complete. See ⟨a, b | aa=1, babbbbab=b⟩.