| Back: | ⟨a, b | aabbba=baba⟩ |
|---|
Solved by morph:5/3. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: lhsLimit
| # | Rule |
|---|---|
| 1. | aabbba ⇒ baba |
| 2. | aabbbbaba ⇒ babbaba |
| 3. | aabbbbabbaba ⇒ babbabbaba |
| 4. | aabbbbabbabbaba ⇒ babbabbabbaba |
| 5. | aabbbbabbabbabbaba ⇒ babbabbabbabbaba |
| 6. | aabbbbabbabbabbabbaba ⇒ babbabbabbabbabbaba |
| 7. | aabbbbabbabbabbabbabbaba ⇒ babbabbabbabbabbabbaba |
| 8. | aabbbbabbabbabbabbabbabbaba ⇒ babbabbabbabbabbabbabbaba |
| 9. | aabbbbabbabbabbabbabbabbabbaba ⇒ babbabbabbabbabbabbabbabbaba |
| 10. | aabbbbabbabbabbabbabbabbabbabbaba ⇒ babbabbabbabbabbabbabbabbabbaba |
| 11. | aabbbbabbabbabbabbabbabbabbabbabbaba ⇒ babbabbabbabbabbabbabbabbabbabbaba |
| 12. | aabbbbabbabbabbabbabbabbabbabbabbabbaba ⇒ babbabbabbabbabbabbabbabbabbabbabbaba |
| 13. | aabbbbabbabbabbabbabbabbabbabbabbabbabbaba ⇒ babbabbabbabbabbabbabbabbabbabbabbabbaba |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | bb | 104 | lf:104,rf:78 |
|---|---|---|---|
| [2/1] | ba | 104 | lf:91,ls:13,rf:104,rp:13,rs:13,lsrp:13,lsrs:13 |
| [2/2] | ab | 91 | lf:91,rf:91 |
| [2/3] | aa | 26 | lf:13,lp:13 |
| [3/0] | bba | 80 | lf:79,ls:1,rf:78 |
| [3/1] | abb | 79 | lf:79,rf:78 |
| [3/2] | bab | 78 | lf:78,rf:91,rp:13 |
| [3/3] | aab | 26 | lf:13,lp:13 |
| [3/4] | bbb | 25 | lf:25 |
| [3/5] | aba | 24 | lf:12,ls:12,rf:13,rs:13,lsrs:12 |
| [4/0] | bbab | 78 | lf:78,rf:78,a:1 |
| [4/1] | babb | 66 | lf:66,rf:78,rp:12,a:1 |
| [4/2] | abba | 66 | lf:66,rf:78,a:1 |
| [4/3] | aabb | 26 | lf:13,lp:13 |
| [4/4] | baba | 24 | lf:12,ls:12,rf:13,rp:1,rs:13,re:1,lsrs:12 |
| [4/5] | bbba | 14 | lf:13,ls:1 |
| [4/6] | abbb | 13 | lf:13 |
| [5/0] | bbabb | 66 | lf:66,rf:66,a:2 |
| [5/1] | babba | 66 | lf:66,rf:78,rp:12,a:1 |
| [5/2] | abbab | 66 | lf:66,rf:78,a:1 |
| [5/3] | aabbb | 26 | lf:13,lp:13 |
| [5/4] | bbaba | 24 | lf:12,ls:12,rf:12,rs:12,lsrs:12,a:1 |
| [5/5] | bbbba | 12 | lf:12,a:1 |
| [5/6] | bbbab | 12 | lf:12,a:1 |
| [6/0] | bbabba | 66 | lf:66,rf:66,a:2 |
| [6/1] | babbab | 66 | lf:66,rf:78,rp:12,a:1 |
| [6/2] | abbabb | 55 | lf:55,rf:66,a:2 |
| [6/3] | aabbbb | 24 | lf:12,lp:12,a:1 |
| [6/4] | abbaba | 22 | lf:11,ls:11,rf:12,rs:12,lsrs:11,a:1 |
| [6/5] | bbbbab | 12 | lf:12,a:1 |
| [6/6] | abbbba | 12 | lf:12,a:1 |
| [7/0] | bbabbab | 66 | lf:66,rf:66,a:2 |
| [7/1] | babbabb | 55 | lf:55,rf:66,rp:11,a:2 |
| [7/2] | abbabba | 55 | lf:55,rf:66,a:2 |
| [7/3] | aabbbba | 24 | lf:12,lp:12,a:1 |
| [7/4] | babbaba | 22 | lf:11,ls:11,rf:12,rp:1,rs:12,re:1,lsrs:11,a:1 |
| [7/5] | abbbbab | 12 | lf:12,a:1 |
| [7/6] | bbbbabb | 11 | lf:11,a:2 |
Considering [length 5 / frequency 3] aabbb=c.
Rewriting system is complete. See ⟨a, b | aabbba=baba⟩.