| Back: | ⟨a, b | aaabbbaba=ab⟩ |
|---|
Solved by morph:4/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aaabbbaba ⇒ ab |
| 2. | abaabbbaba ⇒ abb |
| 3. | aaabbbabb ⇒ ababbbaba |
| 4. | abbaabbbaba ⇒ abbb |
| 5. | abaabbbabb ⇒ abbabbbaba |
| 6. | abbbaabbbaba ⇒ abbbb |
| 7. | abbaabbbabb ⇒ abbbabbbaba |
| 8. | abbbbaabbbaba ⇒ abbbbb |
| 9. | abbbaabbbabb ⇒ abbbbabbbaba |
| 10. | abbbbbaabbbaba ⇒ abbbbbb |
| 11. | abbbbaabbbabb ⇒ abbbbbabbbaba |
| 12. | abbbbbbaabbbaba ⇒ abbbbbbb |
| 13. | abbbbbaabbbabb ⇒ abbbbbbabbbaba |
| 14. | abbbbbbbaabbbaba ⇒ abbbbbbbb |
| 15. | abbbbbbaabbbabb ⇒ abbbbbbbabbbaba |
| 16. | abbbbbbbbaabbbaba ⇒ abbbbbbbbb |
| 17. | abbbbbbbaabbbabb ⇒ abbbbbbbbabbbaba |
| 18. | abbbbbbbbbaabbbaba ⇒ abbbbbbbbbb |
| 19. | abbbbbbbbbbaabbbaba ⇒ abbbbbbbbbbb |
| 20. | abbbbbbbbbbbaabbbaba ⇒ abbbbbbbbbbbb |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | bb | 132 | lf:124,ls:8,rf:110,rs:11 |
|---|---|---|---|
| [2/1] | ab | 76 | lf:58,lp:18,rf:36,rp:20,rs:1,re:1,lprp:18 |
| [2/2] | ba | 62 | lf:50,ls:12,rf:24,rs:8 |
| [2/3] | aa | 24 | lf:22,lp:2 |
| [3/0] | bbb | 80 | lf:80,rf:84,rs:10 |
| [3/1] | abb | 68 | lf:44,lp:16,ls:8,rf:26,rp:18,rs:1,re:1,lprp:16,lsrp:7 |
| [3/2] | bba | 36 | lf:36,rf:15 |
| [3/3] | aba | 28 | lf:14,lp:2,ls:12,rf:9,rp:1,rs:8,lprs:1 |
| [3/4] | bab | 20 | lf:20,rf:16 |
| [3/5] | aab | 20 | lf:20 |
| [3/6] | baa | 18 | lf:18,a:1 |
| [4/0] | abbb | 48 | lf:34,lp:14,rf:24,rp:16,rs:1,re:1,lprp:14 |
| [4/1] | bbbb | 46 | lf:46,rf:60,rs:9,a:5 |
| [4/2] | bbba | 34 | lf:34,rf:14 |
| [4/3] | baba | 24 | lf:12,ls:12,rf:8,rs:8 |
| [4/4] | bbab | 20 | lf:20,rf:15 |
| [4/5] | aabb | 20 | lf:20 |
| [4/6] | baab | 18 | lf:18,a:1 |
| [5/0] | bbbbb | 34 | lf:34,rf:46,rs:8,a:6 |
| [5/1] | abbbb | 24 | lf:12,lp:12,rf:14,rp:14,rs:1,re:1,lprp:12,a:5 |
| [5/2] | abbba | 24 | lf:22,lp:2,rf:9,rp:1 |
| [5/3] | bbaba | 24 | lf:12,ls:12,rf:8,rs:8 |
| [5/4] | bbbab | 20 | lf:20,rf:14 |
| [5/5] | aabbb | 20 | lf:20 |
| [5/6] | baabb | 18 | lf:18,a:1 |
| [6/0] | bbbbbb | 24 | lf:24,rf:34,rs:7,a:8 |
| [6/1] | bbbaba | 24 | lf:12,ls:12,rf:8,rs:8 |
| [6/2] | abbbbb | 20 | lf:10,lp:10,rf:12,rp:12,rs:1,re:1,lprp:10,a:6 |
| [6/3] | abbbab | 20 | lf:20,rf:9,rp:1 |
| [6/4] | aabbba | 20 | lf:20 |
| [6/5] | baabbb | 18 | lf:18,a:1 |
| [6/6] | bbbabb | 16 | lf:8,ls:8,rf:6,a:2 |
| [7/0] | abbbaba | 24 | lf:12,ls:12,rf:8,rs:8 |
| [7/1] | aabbbab | 20 | lf:20 |
| [7/2] | baabbba | 18 | lf:18,a:1 |
| [7/3] | bbbbbbb | 16 | lf:16,rf:24,rs:6,a:9 |
| [7/4] | abbbbbb | 16 | lf:8,lp:8,rf:10,rp:10,rs:1,re:1,lprp:8,a:8 |
| [7/5] | abbbabb | 16 | lf:8,ls:8,rf:1,rp:1,lsrp:1,a:2 |
| [7/6] | bbaabbb | 16 | lf:16,a:3 |
Considering [length 4 / frequency 0] abbb=c.
Rewriting system is complete. See ⟨a, b | aaabbbaba=ab⟩.