| Back: | ⟨a, b | aababba=aab⟩ |
|---|
Solved by morph:4/2. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaTotalLimit
| # | Rule |
|---|---|
| 1. | aababba ⇒ aab |
| 2. | aabababba ⇒ aabab |
| 3. | aababababba ⇒ aababab |
| 4. | aabababababba ⇒ aabababab |
| 5. | aababababababba ⇒ aababababab |
| 6. | aabababababababba ⇒ aabababababab |
| 7. | aababababababababba ⇒ aababababababab |
| 8. | aabababababababababba ⇒ aabababababababab |
| 9. | aababababababababababba ⇒ aababababababababab |
| 10. | aabababababababababababba ⇒ aabababababababababab |
| 11. | aababababababababababababba ⇒ aababababababababababab |
| 12. | aabababababababababababababba ⇒ aabababababababababababab |
| 13. | aababababababababababababababba ⇒ aababababababababababababab |
| 14. | aabababababababababababababababba ⇒ aabababababababababababababab |
| 15. | aababababababababababababababababba ⇒ aababababababababababababababab |
| 16. | aabababababababababababababababababba ⇒ 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 | 136 | lf:136,rf:120 |
| [3/1] | bab | 136 | lf:136,rf:120,rs:15 |
| [3/2] | bba | 32 | lf:16,ls:16 |
| [3/3] | aab | 32 | lf:16,lp:16,rf:16,rp:16,rs:1,re:1,lprp:16,lprs:1 |
| [3/4] | abb | 16 | lf:16 |
| [4/0] | abab | 136 | lf:136,rf:120,rs:15 |
| [4/1] | baba | 120 | lf:120,rf:105,a:1 |
| [4/2] | aaba | 32 | lf:16,lp:16,rf:15,rp:15,lprp:15 |
| [4/3] | abba | 32 | lf:16,ls:16 |
| [4/4] | babb | 16 | lf:16 |
| [5/0] | ababa | 120 | lf:120,rf:105,a:1 |
| [5/1] | babab | 120 | lf:120,rf:105,rs:14,a:1 |
| [5/2] | babba | 32 | lf:16,ls:16 |
| [5/3] | aabab | 32 | lf:16,lp:16,rf:15,rp:15,rs:1,re:1,lprp:15,lprs:1 |
| [5/4] | ababb | 16 | lf:16 |
| [6/0] | ababab | 120 | lf:120,rf:105,rs:14,a:1 |
| [6/1] | bababa | 105 | lf:105,rf:91,a:2 |
| [6/2] | ababba | 32 | lf:16,ls:16 |
| [6/3] | aababa | 30 | lf:15,lp:15,rf:14,rp:14,lprp:14,a:1 |
| [6/4] | bababb | 15 | lf:15,a:1 |
| [6/5] | aababb | 2 | lf:1,lp:1 |
| [7/0] | abababa | 105 | lf:105,rf:91,a:2 |
| [7/1] | bababab | 105 | lf:105,rf:91,rs:13,a:2 |
| [7/2] | bababba | 30 | lf:15,ls:15,a:1 |
| [7/3] | aababab | 30 | lf:15,lp:15,rf:14,rp:14,rs:1,re:1,lprp:14,lprs:1,a:1 |
| [7/4] | abababb | 15 | lf:15,a:1 |
Considering [length 4 / frequency 2] aaba=c.
Rewriting system is complete. See ⟨a, b | aababba=aab⟩.