| Back: | ⟨a, b | aaa=1, bbbb=abba⟩ |
|---|
Solved by morph:5/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | bbbbbbbbbbbbbb ⇒ bb |
| 2. | bbabbbbbbbbbbbb ⇒ bba |
| 3. | bbbbbba ⇒ abbbbbb |
| 4. | aabb ⇒ bbabbbbbbbbbb |
| 5. | abba ⇒ bbbb |
| 6. | abbbba ⇒ bbbbabbbb |
| 7. | bbaa ⇒ bbbbabbbbbbbb |
| 8. | bbababbbbbbbbbbbb ⇒ bbaba |
| 9. | aaa ⇒ 1 |
| 10. | aababb ⇒ bbabbbabbbbbbbb |
| 11. | bbabaa ⇒ bbabbbabbbbbbbb |
| 12. | bbabababbbbbbbbbbbb ⇒ bbababa |
| 13. | aabababb ⇒ bbabbbababbbbbbbb |
| 14. | bbababaa ⇒ bbababbbabbbbbbbb |
| 15. | bbababababbbbbbbbbbbb ⇒ bbabababa |
| 16. | aababababb ⇒ bbabbbabababbbbbbbb |
| 17. | bbabababaa ⇒ bbabababbbabbbbbbbb |
| 18. | bbabababababbbbbbbbbbbb ⇒ bbababababa |
| 19. | aabababababb ⇒ bbabbbababababbbbbbbb |
| 20. | bbababababaa ⇒ bbababababbbabbbbbbbb |
| 21. | bbababababababbbbbbbbbbbb ⇒ bbabababababa |
| 22. | aababababababb ⇒ bbabbbabababababbbbbbbb |
| 23. | bbabababababaa ⇒ bbabababababbbabbbbbbbb |
| 24. | bbabababababababbbbbbbbbbbb ⇒ bbababababababa |
| 25. | aabababababababb ⇒ bbabbbababababababbbbbbbb |
| 26. | bbababababababaa ⇒ bbababababababbbabbbbbbbb |
| 27. | bbababababababababbbbbbbbbbbb ⇒ bbabababababababa |
| 28. | aababababababababb ⇒ bbabbbabababababababbbbbbbb |
| 29. | bbabababababababaa ⇒ bbabababababababbbabbbbbbbb |
| 30. | bbabababababababababbbbbbbbbbbb ⇒ bbababababababababa |
| 31. | aabababababababababb ⇒ bbabbbababababababababbbbbbbb |
| 32. | bbababababababababaa ⇒ bbababababababababbbabbbbbbbb |
| 33. | bbababababababababababbbbbbbbbbbb ⇒ bbabababababababababa |
| 34. | aababababababababababb ⇒ bbabbbabababababababababbbbbbbb |
| 35. | bbabababababababababaa ⇒ bbabababababababababbbabbbbbbbb |
| 36. | bbabababababababababababbbbbbbbbbbb ⇒ bbababababababababababa |
| 37. | aabababababababababababb ⇒ bbabbbababababababababababbbbbbbb |
| 38. | bbababababababababababaa ⇒ bbababababababababababbbabbbbbbbb |
| 39. | bbababababababababababababbbbbbbbbbbb ⇒ bbabababababababababababa |
| 40. | aababababababababababababb ⇒ bbabbbabababababababababababbbbbbbb |
| 41. | bbabababababababababababaa ⇒ bbabababababababababababbbabbbbbbbb |
| 42. | bbabababababababababababababbbbbbbbbbbb ⇒ bbababababababababababababa |
| 43. | aabababababababababababababb ⇒ bbabbbababababababababababababbbbbbbb |
| 44. | bbababababababababababababaa ⇒ bbababababababababababababbbabbbbbbbb |
| 45. | bbababababababababababababababbbbbbbbbbbb ⇒ bbabababababababababababababa |
| 46. | aababababababababababababababb ⇒ bbabbbabababababababababababababbbbbbbb |
| 47. | bbabababababababababababababaa ⇒ bbabababababababababababababbbabbbbbbbb |
| 48. | bbabababababababababababababababbbbbbbbbbbb ⇒ bbababababababababababababababa |
| 49. | aabababababababababababababababb ⇒ bbabbbababababababababababababababbbbbbbb |
| 50. | bbababababababababababababababaa ⇒ bbababababababababababababababbbabbbbbbbb |
| 51. | bbababababababababababababababababbbbbbbbbbbb ⇒ bbabababababababababababababababa |
| 52. | aababababababababababababababababb ⇒ bbabbbabababababababababababababababbbbbbbb |
| 53. | bbabababababababababababababababaa ⇒ bbabababababababababababababababbbabbbbbbbb |
| 54. | bbabababababababababababababababababbbbbbbbbbbb ⇒ bbababababababababababababababababa |
| 55. | aabababababababababababababababababb ⇒ bbabbbababababababababababababababababbbbbbbb |
| 56. | aabababababababababababababababababbbbbb ⇒ bbabbbabababababababababababababababa |
| 57. | bbababababababababababababababababaa ⇒ bbababababababababababababababababbbabbbbbbbb |
| 58. | aababababababababababababababababababb ⇒ bbabbbabababababababababababababababababbbbbbbb |
| 59. | aababababababababababababababababababbbbbb ⇒ bbabbbababababababababababababababababa |
| 60. | aabababababababababababababababababababbbbbb ⇒ bbabbbabababababababababababababababababa |
| ... |
Collecting factors up to length 14 / frequency 2:
| [2/0] | bb | 58840 | lf:276,lp:36,ls:39,rf:391,rp:58,rs:39,re:1,lprp:35,lsrp:39,lprs:19,lsrs:19,a:1 |
|---|---|---|---|
| [2/1] | ba | 1068 | lf:513,ls:3,rf:532,rs:20,a:1 |
| [3/0] | bbb | 1524 | lf:200,lp:2,ls:21,rf:260,rp:3,rs:38,lprs:1,a:1 |
| [3/1] | bba | 1222 | lf:37,lp:34,ls:3,rf:92,rp:54,rs:1,re:1,lprp:33,lprs:1,a:1 |
| [4/0] | bbbb | 1426 | lf:177,lp:2,ls:21,rf:184,rp:3,rs:38,re:1,lprs:1,a:1 |
| [4/1] | baba | 915 | lf:456,rf:440,rs:19,a:6 |
| [5/0] | bbbbb | 1357 | lf:154,lp:2,ls:21,rf:144,rs:36,lprs:1,a:4 |
| [5/1] | bbaba | 1147 | lf:32,lp:32,rf:50,rp:31,rs:1,re:1,lprp:31,lprs:1,a:6 |
| [6/0] | bbbbbb | 10299 | lf:132,lp:2,ls:21,rf:108,rs:36,lprs:10,a:4 |
| [6/1] | bababa | 813 | lf:405,rf:390,rs:18,a:18 |
| [7/0] | bbababa | 1138 | lf:30,lp:30,rf:47,rp:29,rs:1,re:1,lprp:29,lprs:1,a:18 |
| [7/1] | bababab | 762 | lf:390,rf:372,a:20 |
| [8/0] | babababa | 717 | lf:357,rf:343,rs:17,a:40 |
| [8/1] | abababab | 687 | lf:361,rf:326,a:39 |
| [9/0] | bbabababa | 1129 | lf:28,lp:28,rf:44,rp:27,rs:1,re:1,lprp:27,lprs:1,a:40 |
| [9/1] | babababab | 669 | lf:343,rf:326,a:40 |
| [10/0] | bababababa | 627 | lf:312,rf:299,rs:16,a:47 |
| [10/1] | ababababab | 599 | lf:316,rf:283,a:45 |
| [11/0] | bbababababa | 1120 | lf:26,lp:26,rf:41,rp:25,rs:1,re:1,lprp:25,lprs:1,a:47 |
| [11/1] | bababababab | 582 | lf:299,rf:283,a:47 |
| [12/0] | babababababa | 543 | lf:270,rf:258,rs:15,a:54 |
| [12/1] | abababababab | 517 | lf:274,rf:243,a:52 |
| [13/0] | bbabababababa | 1111 | lf:24,lp:24,rf:38,rp:23,rs:1,re:1,lprp:23,lprs:1,a:54 |
| [13/1] | babababababab | 501 | lf:258,rf:243,a:54 |
Considering [length 5 / frequency 0] bbbbb=c.
Rewriting system is complete. See ⟨a, b | aaa=1, bbbb=abba⟩.