| Back: | ⟨a, b | aabbbaba=aab⟩ |
|---|
Solved by morph:6/2. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaTotalLimit
| # | Rule |
|---|---|
| 1. | aabbbaba ⇒ aab |
| 2. | aababbbaba ⇒ aabab |
| 3. | aabababbbaba ⇒ aababab |
| 4. | aababababbbaba ⇒ aabababab |
| 5. | aabababababbbaba ⇒ aababababab |
| 6. | aababababababbbaba ⇒ aabababababab |
| 7. | aabababababababbbaba ⇒ aababababababab |
| 8. | aababababababababbbaba ⇒ aabababababababab |
| 9. | aabababababababababbbaba ⇒ aababababababababab |
| 10. | aababababababababababbbaba ⇒ aabababababababababab |
| 11. | aabababababababababababbbaba ⇒ aababababababababababab |
| 12. | aababababababababababababbbaba ⇒ aabababababababababababab |
| 13. | aabababababababababababababbbaba ⇒ aababababababababababababab |
| 14. | aababababababababababababababbbaba ⇒ aabababababababababababababab |
| 15. | aabababababababababababababababbbaba ⇒ aababababababababababababababab |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | ba | 150 | lf:135,ls:15,rf:105 |
|---|---|---|---|
| [2/1] | ab | 135 | lf:135,rf:120,rs:15 |
| [2/2] | bb | 30 | lf:30 |
| [2/3] | aa | 30 | lf:15,lp:15,rf:15,rp:15,lprp:15 |
| [3/0] | aba | 135 | lf:120,ls:15,rf:105 |
| [3/1] | bab | 120 | lf:120,rf:105,rs:14 |
| [3/2] | aab | 30 | lf:15,lp:15,rf:15,rp:15,rs:1,re:1,lprp:15,lprs:1 |
| [3/3] | bbb | 15 | lf:15 |
| [3/4] | bba | 15 | lf:15 |
| [3/5] | abb | 15 | lf:15 |
| [4/0] | baba | 121 | lf:106,ls:15,rf:91 |
| [4/1] | abab | 105 | lf:105,rf:105,rs:14,a:1 |
| [4/2] | aaba | 28 | lf:14,lp:14,rf:14,rp:14,lprp:14,a:1 |
| [4/3] | bbba | 15 | lf:15 |
| [4/4] | bbab | 15 | lf:15 |
| [4/5] | abbb | 15 | lf:15 |
| [4/6] | babb | 14 | lf:14,a:1 |
| [5/0] | babab | 91 | lf:91,rf:91,rs:13,a:2 |
| [5/1] | ababa | 91 | lf:91,rf:91,a:2 |
| [5/2] | bbaba | 30 | lf:15,ls:15 |
| [5/3] | aabab | 28 | lf:14,lp:14,rf:14,rp:14,rs:1,re:1,lprp:14,lprs:1,a:1 |
| [5/4] | bbbab | 15 | lf:15 |
| [5/5] | abbba | 15 | lf:15 |
| [5/6] | babbb | 14 | lf:14,a:1 |
| [6/0] | ababab | 91 | lf:91,rf:91,rs:13,a:2 |
| [6/1] | bababa | 78 | lf:78,rf:78,a:3 |
| [6/2] | bbbaba | 30 | lf:15,ls:15 |
| [6/3] | aababa | 26 | lf:13,lp:13,rf:13,rp:13,lprp:13,a:2 |
| [6/4] | abbbab | 15 | lf:15 |
| [6/5] | babbba | 14 | lf:14,a:1 |
| [6/6] | ababbb | 14 | lf:14,a:1 |
| [7/0] | bababab | 78 | lf:78,rf:78,rs:12,a:3 |
| [7/1] | abababa | 78 | lf:78,rf:78,a:3 |
| [7/2] | abbbaba | 30 | lf:15,ls:15 |
| [7/3] | aababab | 26 | lf:13,lp:13,rf:13,rp:13,rs:1,re:1,lprp:13,lprs:1,a:2 |
| [7/4] | babbbab | 14 | lf:14,a:1 |
| [7/5] | ababbba | 14 | lf:14,a:1 |
| [7/6] | bababbb | 13 | lf:13,a:2 |
Considering [length 6 / frequency 2] bbbaba=c.
Rewriting system is complete. See ⟨a, b | aabbbaba=aab⟩.