| Back: | ⟨a, b | bba=abb, bbb=b⟩ |
|---|
Solved by morph:3/1. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | bbb ⇒ b |
| 2. | babb ⇒ ba |
| 3. | bba ⇒ abb |
| 4. | baabb ⇒ baa |
| 5. | baaabb ⇒ baaa |
| 6. | baaaabb ⇒ baaaa |
| 7. | baaaaabb ⇒ baaaaa |
| 8. | baaaaaabb ⇒ baaaaaa |
| 9. | baaaaaaabb ⇒ baaaaaaa |
| 10. | baaaaaaaabb ⇒ baaaaaaaa |
| 11. | baaaaaaaaabb ⇒ baaaaaaaaa |
| 12. | baaaaaaaaaabb ⇒ baaaaaaaaaa |
| 13. | baaaaaaaaaaabb ⇒ baaaaaaaaaaa |
| 14. | baaaaaaaaaaaabb ⇒ baaaaaaaaaaaa |
| 15. | baaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaa |
| 16. | baaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaa |
| 17. | baaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaa |
| 18. | baaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaa |
| 19. | baaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaa |
| 20. | baaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaa |
| 21. | baaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaa |
| 22. | baaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaa |
| 23. | baaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaa |
| 24. | baaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaa |
| 25. | baaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaa |
| 26. | baaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaa |
| 27. | baaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaa |
| 28. | baaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaa |
| 29. | baaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 30. | baaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 31. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 32. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 33. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 34. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 35. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 36. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 37. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 38. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 39. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 40. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 41. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 42. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 43. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 44. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 45. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 46. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 47. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 48. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 49. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 50. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 51. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 52. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 53. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 54. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 55. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 56. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 57. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 58. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 59. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 60. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 61. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 62. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 63. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 64. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 65. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 66. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 67. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 68. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 69. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 70. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 71. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 72. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 73. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 74. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 75. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 76. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 77. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 78. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 79. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| 80. | baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa |
| ... |
Collecting factors up to length 14 / frequency 2:
| [2/0] | bb | 10164 | lf:81,lp:2,ls:79,rf:1,rs:1,lprs:10 |
|---|---|---|---|
| [2/1] | aa | 6083 | lf:3003,rf:3003,rs:77,a:3 |
| [3/0] | aaa | 5928 | lf:2926,rf:2926,rs:76,a:4 |
| [3/1] | baa | 1310 | lf:77,lp:77,rf:77,rp:77,rs:1,re:1,lprp:77,lprs:1,a:3 |
| [4/0] | aaaa | 5775 | lf:2850,rf:2850,rs:75,a:5 |
| [4/1] | baaa | 1306 | lf:76,lp:76,rf:76,rp:76,rs:1,re:1,lprp:76,lprs:1,a:4 |
| [5/0] | aaaaa | 5624 | lf:2775,rf:2775,rs:74,a:6 |
| [5/1] | baaaa | 1302 | lf:75,lp:75,rf:75,rp:75,rs:1,re:1,lprp:75,lprs:1,a:5 |
| [6/0] | aaaaaa | 5475 | lf:2701,rf:2701,rs:73,a:7 |
| [6/1] | baaaaa | 1298 | lf:74,lp:74,rf:74,rp:74,rs:1,re:1,lprp:74,lprs:1,a:6 |
| [7/0] | aaaaaaa | 5328 | lf:2628,rf:2628,rs:72,a:8 |
| [7/1] | baaaaaa | 1294 | lf:73,lp:73,rf:73,rp:73,rs:1,re:1,lprp:73,lprs:1,a:7 |
| [8/0] | aaaaaaaa | 5183 | lf:2556,rf:2556,rs:71,a:9 |
| [8/1] | baaaaaaa | 1290 | lf:72,lp:72,rf:72,rp:72,rs:1,re:1,lprp:72,lprs:1,a:8 |
| [9/0] | aaaaaaaaa | 5040 | lf:2485,rf:2485,rs:70,a:10 |
| [9/1] | baaaaaaaa | 1286 | lf:71,lp:71,rf:71,rp:71,rs:1,re:1,lprp:71,lprs:1,a:9 |
| [10/0] | aaaaaaaaaa | 4899 | lf:2415,rf:2415,rs:69,a:11 |
| [10/1] | baaaaaaaaa | 1282 | lf:70,lp:70,rf:70,rp:70,rs:1,re:1,lprp:70,lprs:1,a:10 |
| [11/0] | aaaaaaaaaaa | 4760 | lf:2346,rf:2346,rs:68,a:12 |
| [11/1] | baaaaaaaaaa | 1278 | lf:69,lp:69,rf:69,rp:69,rs:1,re:1,lprp:69,lprs:1,a:11 |
| [12/0] | aaaaaaaaaaaa | 4623 | lf:2278,rf:2278,rs:67,a:13 |
| [12/1] | baaaaaaaaaaa | 1274 | lf:68,lp:68,rf:68,rp:68,rs:1,re:1,lprp:68,lprs:1,a:12 |
| [13/0] | aaaaaaaaaaaaa | 4488 | lf:2211,rf:2211,rs:66,a:14 |
| [13/1] | baaaaaaaaaaaa | 1270 | lf:67,lp:67,rf:67,rp:67,rs:1,re:1,lprp:67,lprs:1,a:13 |
Considering [length 3 / frequency 1] baa=c.
Rewriting system is complete. See ⟨a, b | bba=abb, bbb=b⟩.