| Back: | ⟨a, b | abba=b, aaaaaa=1⟩ |
|---|
Solved by morph:3/1,7/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | bbba ⇒ abbb |
| 2. | abba ⇒ b |
| 3. | baaa ⇒ abababb |
| 4. | bbababa ⇒ aaab |
| 5. | aaaab ⇒ bbaba |
| 6. | ababababb ⇒ baa |
| 7. | abababaabbb ⇒ baaba |
| 8. | bbabaabababb ⇒ aaabaa |
| 9. | aaaaaa ⇒ 1 |
| 10. | ababaabababbbbb ⇒ baabaa |
| 11. | abababaababbb ⇒ baababa |
| 12. | baababababa ⇒ ababababaab |
| 13. | babababababa ⇒ abababababab |
| 14. | bbabaababaabbb ⇒ aaabaaba |
| 15. | ababaababaabbbbbb ⇒ baabaaba |
| 16. | abababaabaabbb ⇒ baababaa |
| 17. | abababaabababbb ⇒ baabababa |
| 18. | abababababaab ⇒ bababababa |
| 19. | baabaabababa ⇒ abababaabaab |
| 20. | bbabaabaabababbbbb ⇒ aaabaabaa |
| 21. | bbabaababaababbb ⇒ aaabaababa |
| 22. | ababaabaabababbbbbbbb ⇒ baabaabaa |
| 23. | ababaababaababbbbbb ⇒ baabaababa |
| 24. | abababaabaababbb ⇒ baababaaba |
| 25. | abababaababaabbb ⇒ baabababaa |
| 26. | ababababaabaab ⇒ babaabababa |
| 27. | baababaabababa ⇒ abababaababaab |
| 28. | baabababaabababb ⇒ ababababaabaa |
| 29. | bababababaababab ⇒ aaabababababa |
| 30. | bbabaabaababaabbbbbb ⇒ aaabaabaaba |
| 31. | bbabaababaabaabbb ⇒ aaabaababaa |
| 32. | bbabaababaabababbb ⇒ aaabaabababa |
| 33. | ababaabaababaabbbbbbbbb ⇒ baabaabaaba |
| 34. | ababaababaabaabbbbbb ⇒ baabaababaa |
| 35. | abababaabaabaabbb ⇒ baababaabaa |
| 36. | abababaabaabababbb ⇒ baababaababa |
| 37. | abababaababaababbb ⇒ baabababaaba |
| 38. | ababababaababaab ⇒ bababaabababa |
| 39. | baabaababaabababb ⇒ abababaabaabaa |
| 40. | baabababaabababa ⇒ abababaabababaab |
| 41. | bbabaabaabaabababbbbbbbb ⇒ aaabaabaabaa |
| 42. | bbabaabaababaababbbbbb ⇒ aaabaabaababa |
| 43. | bbabaababaabaababbb ⇒ aaabaababaaba |
| 44. | bbabaababaababaabbb ⇒ aaabaabababaa |
| 45. | bbabaabababaabaab ⇒ aaababaabababa |
| 46. | ababaabaabaabababbbbbbbbbbb ⇒ baabaabaabaa |
| 47. | ababaabaababaababbbbbbbbb ⇒ baabaabaababa |
| 48. | ababaababaabaababbbbbb ⇒ baabaababaaba |
| 49. | abababaabaabaababbb ⇒ baababaabaaba |
| 50. | abababaabaababaabbb ⇒ baababaababaa |
| 51. | abababaababaabaabbb ⇒ baabababaabaa |
| 52. | abababaababaabababbb ⇒ baabababaababa |
| 53. | ababababaabababaab ⇒ babababaabababa |
| 54. | baabaababaababaabbb ⇒ abababaabaabaaba |
| 55. | baababaababaabababb ⇒ abababaababaabaa |
| 56. | bbabaabaababaabaabbbbbb ⇒ aaabaabaababaa |
| 57. | bbabaababaabaabaabbb ⇒ aaabaababaabaa |
| 58. | bbabaababaabaabababbb ⇒ aaabaababaababa |
| 59. | bbabaababaababaababbb ⇒ aaabaabababaaba |
| 60. | bbabaabababaababaab ⇒ aaabababaabababa |
| 61. | ababaababaabaabaabbbbbb ⇒ baabaababaabaa |
| 62. | ababaababaabaabababbbbbb ⇒ baabaababaababa |
| 63. | abababaabaabaabaabbb ⇒ baababaabaabaa |
| 64. | abababaabaabaabababbb ⇒ baababaabaababa |
| 65. | abababaabaababaababbb ⇒ baababaababaaba |
| 66. | abababaababaabaababbb ⇒ baabababaabaaba |
| 67. | abababaababaababaabbb ⇒ baabababaababaa |
| 68. | abababaabababaabaab ⇒ babaabababaababa |
| 69. | bbaabababaababaabaab ⇒ aaabaabababaababa |
| 70. | bbabaababaabaabaababbb ⇒ aaabaababaabaaba |
| 71. | bbabaababaabaababaabbb ⇒ aaabaababaababaa |
| 72. | bbabaababaababaabaabbb ⇒ aaabaabababaabaa |
| 73. | ababaabababaabaabaab ⇒ baababaababaababa |
| 74. | abababaabaabaabaababbb ⇒ baababaabaabaaba |
| 75. | abababaabaabaababaabbb ⇒ baababaabaababaa |
| 76. | abababaabaababaabaabbb ⇒ baababaababaabaa |
| 77. | abababaababaabaabaabbb ⇒ baabababaabaabaa |
| ... |
Collecting factors up to length 7 / frequency 2:
| [2/0] | ba | 2848 | lf:421,lp:11,ls:8,rf:329,rp:40,rs:39,lprs:2 |
|---|---|---|---|
| [2/1] | bb | 1279 | lf:193,lp:23,ls:56,rf:4,rp:1,rs:2,lprs:1 |
| [3/0] | aba | 29769 | lf:386,lp:40,ls:6,rf:288,rp:10,rs:39,lsrp:5,lprs:24,a:6 |
| [3/1] | bbb | 10167 | lf:113,lp:1,ls:51,rf:1,rs:1,lprs:10,a:2 |
| [4/0] | baab | 5372 | lf:185,lp:8,ls:9,rf:132,rp:34,rs:4,lsrp:1,lprs:4,a:12 |
| [4/1] | baba | 1358 | lf:194,lp:2,ls:6,rf:128,rp:5,rs:23,lprs:1,a:6 |
| [5/0] | ababa | 19371 | lf:171,lp:40,ls:6,rf:122,rp:10,rs:22,lsrp:5,lprs:14,a:9 |
| [5/1] | baaba | 1339 | lf:152,lp:8,rf:128,rp:34,rs:16,re:1,lprs:1,a:12 |
| [6/0] | ababaa | 1176 | lf:96,lp:12,rf:58,rs:10,lprs:1,a:13 |
| [6/1] | baabaa | 1137 | lf:60,lp:3,rf:46,rp:11,rs:16,re:1,lprs:1,a:13 |
Considering [length 3 / frequency 1] bbb=c.
Checking up to 80 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | cb ⇒ bc |
| 2. | bbb ⇒ c |
| 3. | ca ⇒ ac |
| 4. | abba ⇒ b |
| 5. | baaa ⇒ abababb |
| 6. | bbababa ⇒ aaab |
| 7. | aaaac ⇒ bbababb |
| 8. | aaaab ⇒ bbaba |
| 9. | abababac ⇒ baab |
| 10. | ababababc ⇒ baabb |
| 11. | ababababb ⇒ baa |
| 12. | abababaac ⇒ baaba |
| 13. | abababaabc ⇒ baabab |
| 14. | abababaabbc ⇒ baababb |
| 15. | bbabaababac ⇒ aaabaab |
| 16. | bbabaabababc ⇒ aaabaabb |
| 17. | bbabaabababb ⇒ aaabaa |
| 18. | aaaaaa ⇒ 1 |
| 19. | ababaababacc ⇒ baabaab |
| 20. | ababaabababcc ⇒ baabaabb |
| 21. | ababaabababbc ⇒ baabaa |
| 22. | abababaabac ⇒ baababa |
| 23. | abababaababc ⇒ baababab |
| 24. | abababaababbc ⇒ baabababb |
| 25. | baababababa ⇒ ababababaab |
| 26. | babababababa ⇒ abababababab |
| 27. | bbabaababaac ⇒ aaabaaba |
| 28. | bbabaababaabc ⇒ aaabaabab |
| 29. | bbabaababaabbc ⇒ aaabaababb |
| 30. | ababaababaacc ⇒ baabaaba |
| 31. | ababaababaabcc ⇒ baabaabab |
| 32. | ababaababaabbcc ⇒ baabaababb |
| 33. | abababaabaac ⇒ baababaa |
| 34. | abababaabaabc ⇒ baababaab |
| 35. | abababaabaabbc ⇒ baababaabb |
| 36. | abababaababac ⇒ baabababa |
| 37. | abababaabababc ⇒ baabababab |
| 38. | abababababaab ⇒ bababababa |
| 39. | baabaabababa ⇒ abababaabaab |
| 40. | bbabaabaababacc ⇒ aaabaabaab |
| 41. | bbabaabaabababcc ⇒ aaabaabaabb |
| 42. | bbabaabaabababbc ⇒ aaabaabaa |
| 43. | bbabaababaabac ⇒ aaabaababa |
| 44. | bbabaababaababc ⇒ aaabaababab |
| 45. | bbabaababaababbc ⇒ aaabaabababb |
| 46. | ababaabaababaccc ⇒ baabaabaab |
| 47. | ababaabaabababccc ⇒ baabaabaabb |
| 48. | ababaabaabababbcc ⇒ baabaabaa |
| 49. | ababaababaabacc ⇒ baabaababa |
| 50. | ababaababaababcc ⇒ baabaababab |
| 51. | ababaababaababbcc ⇒ baabaabababb |
| 52. | abababaabaabac ⇒ baababaaba |
| 53. | abababaabaababc ⇒ baababaabab |
| 54. | abababaabaababbc ⇒ baababaababb |
| 55. | abababaababaac ⇒ baabababaa |
| 56. | abababaababaabc ⇒ baabababaab |
| 57. | abababaababaabbc ⇒ baabababaabb |
| 58. | ababababaabaab ⇒ babaabababa |
| 59. | baababaabababa ⇒ abababaababaab |
| 60. | baabababaabababb ⇒ ababababaabaa |
| 61. | bababababaababab ⇒ aaabababababa |
| 62. | bbabaabaababaacc ⇒ aaabaabaaba |
| 63. | bbabaabaababaabcc ⇒ aaabaabaabab |
| 64. | bbabaababaabaac ⇒ aaabaababaa |
| 65. | bbabaababaabaabc ⇒ aaabaababaab |
| 66. | bbabaababaabaabbc ⇒ aaabaababaabb |
| 67. | bbabaababaababac ⇒ aaabaabababa |
| 68. | bbabaababaabababc ⇒ aaabaabababab |
| 69. | ababaabaababaaccc ⇒ baabaabaaba |
| 70. | ababaabaababaabccc ⇒ baabaabaabab |
| 71. | ababaababaabaacc ⇒ baabaababaa |
| 72. | ababaababaabaabcc ⇒ baabaababaab |
| 73. | abababaabaabaac ⇒ baababaabaa |
| 74. | abababaabaabaabc ⇒ baababaabaab |
| 75. | abababaabaababac ⇒ baababaababa |
| 76. | abababaababaabac ⇒ baabababaaba |
| 77. | ababababaababaab ⇒ bababaabababa |
| ... |
Collecting factors up to length 14 / frequency 1:
| [2/0] | ab | 14645 | lf:340,lp:44,ls:5,rf:224,rp:6,rs:26,lprs:14 |
|---|---|---|---|
| [3/0] | aba | 16550 | lf:297,lp:43,ls:5,rf:181,rp:6,rs:18,lsrp:4,lprs:12,a:8 |
| [4/0] | abab | 7312 | lf:161,lp:43,ls:1,rf:89,rp:6,rs:12,lprs:7,a:12 |
| [5/0] | ababa | 11271 | lf:139,lp:43,ls:5,rf:68,rp:6,rs:10,lsrp:4,lprs:7,a:12 |
| [6/0] | ababab | 2129 | lf:55,lp:27,ls:1,rf:34,rp:6,rs:6,lprs:2,a:14 |
| [7/0] | abababa | 8107 | lf:41,lp:27,ls:4,rf:24,rp:5,rs:6,lsrp:4,lprs:4,a:15 |
| [8/0] | abababaa | 1058 | lf:26,lp:21,rf:8,rp:2,rs:1,lprs:1,a:21 |
| [9/0] | ababababa | 3025 | lf:8,lp:3,ls:2,rf:7,rp:3,rs:2,lsrp:2,lprs:1,a:68 |
| [10/0] | abababaaba | 1047 | lf:22,lp:18,rf:4,rp:2,rs:1,lprs:1,a:31 |
| [11/0] | abababababa | 10008 | lf:2,lp:1,ls:1,rf:2,rp:1,rs:1,lsrp:10,a:69 |
| [12/0] | abababaabaab | 22 | lf:9,lp:8,ls:1,rf:1,rp:1,rs:1,re:1,a:48 |
| [13/0] | bbabaababaaba | 16 | lf:8,lp:8,a:34 |
Considering [length 7 / frequency 0] abababa=d.
Rewriting system is complete. See ⟨a, b | abba=b, aaaaaa=1⟩.