| Back: | ⟨a, b | aabbbba=abb⟩ |
|---|
Solved by morph:4/1. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aabbbba ⇒ abb |
| 2. | aabbbbbb ⇒ abbbbbba |
| 3. | abbabbbba ⇒ abbbb |
| 4. | abbabbbbbb ⇒ abbbbbbbba |
| 5. | abbbbabbbba ⇒ abbbbbb |
| 6. | abbbbabbbbbb ⇒ abbbbbbbbbba |
| 7. | abbbbbbabbbba ⇒ abbbbbbbb |
| 8. | abbbbbbabbbbbb ⇒ abbbbbbbbbbbba |
| 9. | abbbbbbbbabbbba ⇒ abbbbbbbbbb |
| 10. | abbbbbbbbabbbbbb ⇒ abbbbbbbbbbbbbba |
| 11. | abbbbbbbbbbabbbba ⇒ abbbbbbbbbbbb |
| 12. | abbbbbbbbbbabbbbbb ⇒ abbbbbbbbbbbbbbbba |
| 13. | abbbbbbbbbbbbabbbba ⇒ abbbbbbbbbbbbbb |
| 14. | abbbbbbbbbbbbabbbbbb ⇒ abbbbbbbbbbbbbbbbbba |
| 15. | abbbbbbbbbbbbbbabbbba ⇒ abbbbbbbbbbbbbbbb |
| 16. | abbbbbbbbbbbbbbabbbbbb ⇒ abbbbbbbbbbbbbbbbbbbba |
| 17. | abbbbbbbbbbbbbbbbabbbba ⇒ abbbbbbbbbbbbbbbbbb |
| 18. | abbbbbbbbbbbbbbbbabbbbbb ⇒ abbbbbbbbbbbbbbbbbbbbbba |
| 19. | abbbbbbbbbbbbbbbbbbabbbba ⇒ abbbbbbbbbbbbbbbbbbbb |
| 20. | abbbbbbbbbbbbbbbbbbbbabbbba ⇒ abbbbbbbbbbbbbbbbbbbbbb |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | bb | 251 | lf:242,ls:9,rf:238,rs:11 |
|---|---|---|---|
| [2/1] | ab | 56 | lf:38,lp:18,rf:20,rp:20,lprp:18 |
| [2/2] | ba | 40 | lf:29,ls:11,rf:9,rs:9 |
| [2/3] | aa | 4 | lf:2,lp:2 |
| [3/0] | bbb | 213 | lf:204,ls:9,rf:218,rs:10 |
| [3/1] | abb | 56 | lf:38,lp:18,rf:20,rp:20,rs:1,re:1,lprp:18 |
| [3/2] | bba | 40 | lf:29,ls:11,rf:9,rs:9 |
| [3/3] | bab | 18 | lf:18,a:1 |
| [3/4] | aab | 4 | lf:2,lp:2 |
| [4/0] | bbbb | 177 | lf:168,ls:9,rf:199,rs:10 |
| [4/1] | abbb | 52 | lf:36,lp:16,rf:19,rp:19,lprp:16 |
| [4/2] | bbba | 38 | lf:27,ls:11,rf:9,rs:9 |
| [4/3] | babb | 18 | lf:18,a:1 |
| [4/4] | bbab | 18 | lf:18,a:1 |
| [4/5] | aabb | 4 | lf:2,lp:2 |
| [4/6] | abba | 4 | lf:2,lp:2,a:1 |
| [5/0] | bbbbb | 141 | lf:132,ls:9,rf:180,rs:9,a:2 |
| [5/1] | abbbb | 52 | lf:36,lp:16,rf:19,rp:19,rs:1,re:1,lprp:16 |
| [5/2] | bbbba | 38 | lf:27,ls:11,rf:9,rs:9 |
| [5/3] | babbb | 18 | lf:18,a:1 |
| [5/4] | bbabb | 18 | lf:18,a:1 |
| [5/5] | bbbab | 16 | lf:16,a:2 |
| [5/6] | aabbb | 4 | lf:2,lp:2 |
| [6/0] | bbbbbb | 118 | lf:109,ls:9,rf:162,rs:9,a:2 |
| [6/1] | abbbbb | 37 | lf:23,lp:14,rf:18,rp:18,lprp:14,a:2 |
| [6/2] | abbbba | 26 | lf:13,lp:2,ls:11 |
| [6/3] | babbbb | 18 | lf:18,a:1 |
| [6/4] | bbabbb | 18 | lf:18,a:1 |
| [6/5] | bbbabb | 16 | lf:16,a:2 |
| [6/6] | bbbbab | 16 | lf:16,a:2 |
| [7/0] | bbbbbbb | 86 | lf:86,rf:144,rs:8,a:3 |
| [7/1] | abbbbbb | 46 | lf:23,lp:14,ls:9,rf:18,rp:18,rs:1,re:1,lprp:14,lsrp:18,a:2 |
| [7/2] | babbbba | 20 | lf:10,ls:10,a:1 |
| [7/3] | bbabbbb | 18 | lf:18,a:1 |
| [7/4] | bbbabbb | 16 | lf:16,a:2 |
| [7/5] | bbbbabb | 16 | lf:16,a:2 |
| [7/6] | bbbbbab | 14 | lf:14,a:3 |
Considering [length 4 / frequency 1] abbb=c.
Rewriting system is complete. See ⟨a, b | aabbbba=abb⟩.