| Back: | ⟨a, b | aabbaba=aab⟩ |
|---|
Solved by morph:5/2. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaTotalLimit
| # | Rule |
|---|---|
| 1. | aabbaba ⇒ aab |
| 2. | aababbaba ⇒ aabab |
| 3. | aabababbaba ⇒ aababab |
| 4. | aababababbaba ⇒ aabababab |
| 5. | aabababababbaba ⇒ aababababab |
| 6. | aababababababbaba ⇒ aabababababab |
| 7. | aabababababababbaba ⇒ aababababababab |
| 8. | aababababababababbaba ⇒ aabababababababab |
| 9. | aabababababababababbaba ⇒ aababababababababab |
| 10. | aababababababababababbaba ⇒ aabababababababababab |
| 11. | aabababababababababababbaba ⇒ aababababababababababab |
| 12. | aababababababababababababbaba ⇒ aabababababababababababab |
| 13. | aabababababababababababababbaba ⇒ aababababababababababababab |
| 14. | aababababababababababababababbaba ⇒ aabababababababababababababab |
| 15. | aabababababababababababababababbaba ⇒ aababababababababababababababab |
| 16. | aababababababababababababababababbaba ⇒ aabababababababababababababababab |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | ba | 168 | lf:152,ls:16,rf:120 |
|---|---|---|---|
| [2/1] | ab | 152 | lf:152,rf:136,rs:16 |
| [2/2] | aa | 32 | lf:16,lp:16,rf:16,rp:16,lprp:16 |
| [2/3] | bb | 16 | lf:16 |
| [3/0] | aba | 152 | lf:136,ls:16,rf:120 |
| [3/1] | bab | 136 | lf:136,rf:120,rs:15 |
| [3/2] | aab | 32 | lf:16,lp:16,rf:16,rp:16,rs:1,re:1,lprp:16,lprs:1 |
| [3/3] | bba | 16 | lf:16 |
| [3/4] | abb | 16 | lf:16 |
| [4/0] | baba | 137 | lf:121,ls:16,rf:105 |
| [4/1] | abab | 120 | lf:120,rf:120,rs:15,a:1 |
| [4/2] | aaba | 30 | lf:15,lp:15,rf:15,rp:15,lprp:15,a:1 |
| [4/3] | bbab | 16 | lf:16 |
| [4/4] | abba | 16 | lf:16 |
| [4/5] | babb | 15 | lf:15,a:1 |
| [4/6] | aabb | 2 | lf:1,lp:1 |
| [5/0] | babab | 105 | lf:105,rf:105,rs:14,a:2 |
| [5/1] | ababa | 105 | lf:105,rf:105,a:2 |
| [5/2] | bbaba | 32 | lf:16,ls:16 |
| [5/3] | aabab | 30 | lf:15,lp:15,rf:15,rp:15,rs:1,re:1,lprp:15,lprs:1,a:1 |
| [5/4] | abbab | 16 | lf:16 |
| [5/5] | babba | 15 | lf:15,a:1 |
| [5/6] | ababb | 15 | lf:15,a:1 |
| [6/0] | ababab | 105 | lf:105,rf:105,rs:14,a:2 |
| [6/1] | bababa | 91 | lf:91,rf:91,a:3 |
| [6/2] | abbaba | 32 | lf:16,ls:16 |
| [6/3] | aababa | 28 | lf:14,lp:14,rf:14,rp:14,lprp:14,a:2 |
| [6/4] | babbab | 15 | lf:15,a:1 |
| [6/5] | ababba | 15 | lf:15,a:1 |
| [6/6] | bababb | 14 | lf:14,a:2 |
| [7/0] | bababab | 91 | lf:91,rf:91,rs:13,a:3 |
| [7/1] | abababa | 91 | lf:91,rf:91,a:3 |
| [7/2] | babbaba | 30 | lf:15,ls:15,a:1 |
| [7/3] | aababab | 28 | lf:14,lp:14,rf:14,rp:14,rs:1,re:1,lprp:14,lprs:1,a:2 |
| [7/4] | ababbab | 15 | lf:15,a:1 |
| [7/5] | bababba | 14 | lf:14,a:2 |
| [7/6] | abababb | 14 | lf:14,a:2 |
Considering [length 5 / frequency 2] bbaba=c.
Rewriting system is complete. See ⟨a, b | aabbaba=aab⟩.