| Back: | ⟨a, b | baaab=a, bbbbb=1⟩ |
|---|
Solved by morph:13/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aaaab ⇒ baaaa |
| 2. | baaab ⇒ a |
| 3. | bbba ⇒ aaabaab |
| 4. | baabaabaaa ⇒ abb |
| 5. | abbb ⇒ baabaaa |
| 6. | aaabaabaab ⇒ bba |
| 7. | baabaabbaaaa ⇒ abbab |
| 8. | baabaababaaaa ⇒ abbaab |
| 9. | abbabb ⇒ baababaabaaaaaaa |
| 10. | aaabaababaabaaa ⇒ bbabb |
| 11. | bbbbb ⇒ 1 |
| 12. | baabaabbabaaaa ⇒ abbabab |
| 13. | baabaabbaabaaaa ⇒ abbabaab |
| 14. | baabaababbaaaa ⇒ abbaabb |
| 15. | baabaabababaaaa ⇒ abbaabab |
| 16. | baabaababaabaaaa ⇒ abbaabaab |
| 17. | abbabaabaab ⇒ baabaababba |
| 18. | abbaabaabaab ⇒ baabaabaabba |
| 19. | ababaabaabaab ⇒ baabaabaababa |
| 20. | abaabaabaabaab ⇒ baabaabaabaaba |
| 21. | aaabaababaabbaaaa ⇒ bbabbab |
| 22. | aaabaababaababaaaa ⇒ bbabbaab |
| 23. | baabaabbababaaaa ⇒ abbababab |
| 24. | baabaabbabaabaaaa ⇒ abbababaab |
| 25. | baabaabbaabbaaaa ⇒ abbabaabb |
| 26. | baabaabbaababaaaa ⇒ abbabaabab |
| 27. | baabaababbabaaaa ⇒ abbaabbab |
| 28. | baabaababbaabaaaa ⇒ abbaabbaab |
| 29. | baabaabababbaaaa ⇒ abbaababb |
| 30. | baabaababababaaaa ⇒ abbaababab |
| 31. | baabaabababaabaaaa ⇒ abbaababaab |
| 32. | baabaababaabbaaaa ⇒ abbaabaabb |
| 33. | baabaababaababaaaa ⇒ abbaabaabab |
| 34. | baabaabaababba ⇒ ababaabaab |
| 35. | baabaabaabaabba ⇒ abaabaabaab |
| 36. | baabaabaabaababa ⇒ aabaabaabaab |
| 37. | abbababaabaab ⇒ baabaabbaabba |
| 38. | abbaabbaabaab ⇒ baabaabababba |
| 39. | abbaababaabaab ⇒ baabaababaabba |
| 40. | aaabaababaabbabaaaa ⇒ bbabbabab |
| 41. | aaabaababaabbaabaaaa ⇒ bbabbabaab |
| 42. | aaabaababaababbaaaa ⇒ bbabbaabb |
| 43. | aaabaababaabababaaaa ⇒ bbabbaabab |
| 44. | aaabaababaababaabaaaa ⇒ bbabbaabaab |
| 45. | baabaabbababbaaaa ⇒ abbabababb |
| 46. | baabaabbabababaaaa ⇒ abbabababab |
| 47. | baabaabbababaabaaaa ⇒ abbabababaab |
| 48. | baabaabbabaabbaaaa ⇒ abbababaabb |
| 49. | baabaabbabaababaaaa ⇒ abbababaabab |
| 50. | baabaabbaabbabaaaa ⇒ abbabaabbab |
| 51. | baabaabbaabbaabaaaa ⇒ abbabaabbaab |
| 52. | baabaabbaababbaaaa ⇒ abbabaababb |
| 53. | baabaabbaabababaaaa ⇒ abbabaababab |
| 54. | baabaababbababaaaa ⇒ abbaabbabab |
| 55. | baabaababbabaabaaaa ⇒ abbaabbabaab |
| 56. | baabaababbaabbaaaa ⇒ abbaabbaabb |
| 57. | baabaababbaababaaaa ⇒ abbaabbaabab |
| 58. | baabaabababbabaaaa ⇒ abbaababbab |
| 59. | baabaabababbaabaaaa ⇒ abbaababbaab |
| 60. | baabaababababbaaaa ⇒ abbaabababb |
| 61. | baabaabababababaaaa ⇒ abbaabababab |
| 62. | baabaabababaabbaaaa ⇒ abbaababaabb |
| 63. | baabaababaabbabaaaa ⇒ abbaabaabbab |
| 64. | baabaababaababbaaaa ⇒ abbaabaababb |
| 65. | baabaabaabbaabba ⇒ abababaabaab |
| 66. | baabaabaababaabba ⇒ abaababaabaab |
| 67. | abbababbaabaab ⇒ baabaabbababba |
| 68. | abbabababaabaab ⇒ baabaabbabaabba |
| 69. | abbabaabbaabaab ⇒ baabaabbaababba |
| 70. | abbabaababaabaab ⇒ baabaabbaabaabba |
| 71. | abbaababbaabaab ⇒ baabaababababba |
| 72. | abbaabababaabaab ⇒ baabaabababaabba |
| 73. | abbaabaabbaabaab ⇒ baabaababaababba |
| 74. | aaabaababaabbababaaaa ⇒ bbabbababab |
| 75. | aaabaababaabaababba ⇒ bbababaabaab |
| 76. | baabaabbababbabaaaa ⇒ abbabababbab |
| 77. | baabaabbabababbaaaa ⇒ abbababababb |
| 78. | baabaababbababbaaaa ⇒ abbaabbababb |
| ... |
Collecting factors up to length 14 / frequency 2:
| [2/0] | aa | 1564 | lf:370,lp:12,ls:51,rf:126,rp:2,rs:3,lprs:1 |
|---|---|---|---|
| [2/1] | ab | 720 | lf:332,lp:16,ls:17,rf:267,rp:46,rs:42 |
| [3/0] | aba | 2379 | lf:240,lp:2,ls:1,rf:130,rp:4,rs:2,lprs:2,a:6 |
| [3/1] | bba | 1195 | lf:74,ls:6,rf:90,rp:11,rs:13,re:1,lsrp:1,a:6 |
| [4/0] | baab | 29402 | lf:192,lp:47,ls:15,rf:112,rp:16,rs:20,lsrp:14,lprs:15,a:6 |
| [4/1] | abba | 12223 | lf:73,lp:13,ls:5,rf:79,rp:41,rs:12,lprs:12,a:12 |
| [5/0] | ababa | 1100 | lf:61,lp:1,ls:1,rf:34,rp:2,rs:1,lprs:1,a:11 |
| [5/1] | baaba | 268 | lf:140,lp:47,rf:64,rp:16,rs:1,a:7 |
| [6/0] | abaaba | 1107 | lf:74,lp:1,rf:29,rp:2,rs:1,lprs:1,a:9 |
| [6/1] | baabaa | 185 | lf:88,lp:47,rf:35,rp:15,a:7 |
| [7/0] | baabaab | 20192 | lf:75,lp:47,ls:15,rf:33,rp:14,rs:8,lsrp:14,lprs:6,a:9 |
| [7/1] | aabaaba | 69 | lf:50,rf:17,rp:1,rs:1,a:9 |
| [8/0] | baabaaba | 94 | lf:39,lp:29,rf:16,rp:9,rs:1,a:10 |
| [8/1] | baabaabb | 54 | lf:21,lp:18,rf:9,rp:5,rs:1,a:13 |
| [9/0] | baabaabab | 1066 | lf:27,lp:23,rf:9,rp:6,rs:1,lprs:1,a:14 |
| [9/1] | abaabaaba | 1017 | lf:9,lp:1,rf:5,rp:1,rs:1,lprs:1,a:39 |
| [10/0] | baabaabaab | 5030 | lf:11,lp:5,ls:3,rf:6,rp:3,rs:2,lsrp:3,lprs:2,a:39 |
| [10/1] | baabaababa | 45 | lf:17,lp:15,ls:1,rf:6,rp:5,rs:1,a:14 |
| [11/0] | baabaababab | 24 | lf:9,lp:9,rf:3,rp:3,a:20 |
| [11/1] | baabaababba | 24 | lf:10,lp:8,ls:2,rf:1,rp:1,rs:1,re:1,a:19 |
| [12/0] | abaabaabaaba | 1005 | lf:2,lp:1,rf:1,rs:1,lprs:1,a:106 |
| [12/1] | aaabaababaab | 20 | lf:10,lp:10,a:11 |
| [13/0] | baabaabaabaab | 10008 | lf:3,lp:2,ls:1,rf:1,rp:1,lsrp:10,a:71 |
| [13/1] | baabaabbaabba | 12 | lf:4,lp:3,ls:1,rf:1,rp:1,rs:1,re:1,a:36 |
Considering [length 13 / frequency 0] baabaabaabaab=c.
Rewriting system is complete. See ⟨a, b | baaab=a, bbbbb=1⟩.