| Back: | ⟨a, b | aaabaa=baba⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaTotalLimit
| # | Rule |
|---|---|
| 1. | aaabaa ⇒ baba |
| 2. | aaabbaba ⇒ babaabaa |
| 3. | aaabababa ⇒ babbaba |
| 4. | aaabbabbaba ⇒ babaabababa |
| 5. | aaabababbaba ⇒ babbabbaba |
| 6. | aaabbabbabbaba ⇒ babaabababbaba |
| 7. | aaabababbabbaba ⇒ babbabbabbaba |
| 8. | aaabbabbabbabbaba ⇒ babaabababbabbaba |
| 9. | aaabababbabbabbaba ⇒ babbabbabbabbaba |
| 10. | aaabbabbabbabbabbaba ⇒ babaabababbabbabbaba |
| 11. | aaabababbabbabbabbaba ⇒ babbabbabbabbabbaba |
| 12. | aaabbabbabbabbabbabbaba ⇒ babaabababbabbabbabbaba |
| 13. | aaabababbabbabbabbabbaba ⇒ babbabbabbabbabbabbaba |
| 14. | aaabbabbabbabbabbabbabbaba ⇒ babaabababbabbabbabbabbaba |
| 15. | aaabababbabbabbabbabbabbaba ⇒ babbabbabbabbabbabbabbaba |
| 16. | aaabbabbabbabbabbabbabbabbaba ⇒ babaabababbabbabbabbabbabbaba |
| 17. | aaabababbabbabbabbabbabbabbaba ⇒ babbabbabbabbabbabbabbabbaba |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | ba | 113 | lf:97,ls:16,rf:113,rp:17,rs:16,lsrp:16,lsrs:15 |
|---|---|---|---|
| [2/1] | ab | 97 | lf:97,rf:96 |
| [2/2] | bb | 64 | lf:64,rf:57,a:1 |
| [2/3] | aa | 53 | lf:35,lp:17,ls:1,rf:9,rs:1,lprs:1 |
| [3/0] | bab | 80 | lf:80,rf:88,rp:17 |
| [3/1] | abb | 64 | lf:64,rf:57,a:1 |
| [3/2] | bba | 64 | lf:64,rf:57,a:1 |
| [3/3] | aba | 49 | lf:33,ls:16,rf:39,rs:16,lsrs:15 |
| [3/4] | aaa | 34 | lf:17,lp:17 |
| [3/5] | aab | 17 | lf:17,rf:8 |
| [3/6] | baa | 2 | lf:1,ls:1,rf:9,rs:1 |
| [4/0] | bbab | 64 | lf:64,rf:57,a:1 |
| [4/1] | abba | 64 | lf:64,rf:57,a:1 |
| [4/2] | babb | 56 | lf:56,rf:57,rp:8,a:2 |
| [4/3] | baba | 40 | lf:24,ls:16,rf:31,rp:9,rs:16,re:1,lsrp:8,lsrs:15 |
| [4/4] | aaab | 34 | lf:17,lp:17 |
| [4/5] | abab | 16 | lf:16,rf:14,a:2 |
| [4/6] | aaba | 9 | lf:9,rf:8 |
| [5/0] | abbab | 64 | lf:64,rf:57,a:1 |
| [5/1] | babba | 56 | lf:56,rf:57,rp:8,a:2 |
| [5/2] | bbabb | 49 | lf:49,rf:43,a:3 |
| [5/3] | bbaba | 30 | lf:15,ls:15,rf:14,rs:14,lsrs:13,a:1 |
| [5/4] | aaaba | 18 | lf:9,lp:9 |
| [5/5] | aaabb | 16 | lf:8,lp:8,a:1 |
| [5/6] | ababa | 10 | lf:9,ls:1,rf:8,rs:1,a:2 |
| [6/0] | babbab | 56 | lf:56,rf:57,rp:8,a:2 |
| [6/1] | abbabb | 49 | lf:49,rf:43,a:3 |
| [6/2] | bbabba | 49 | lf:49,rf:43,a:3 |
| [6/3] | abbaba | 30 | lf:15,ls:15,rf:14,rs:14,lsrs:13,a:1 |
| [6/4] | aaabab | 16 | lf:8,lp:8,a:2 |
| [6/5] | aaabba | 16 | lf:8,lp:8,a:1 |
| [6/6] | aabbab | 8 | lf:8,a:1 |
| [7/0] | bbabbab | 49 | lf:49,rf:43,a:3 |
| [7/1] | abbabba | 49 | lf:49,rf:43,a:3 |
| [7/2] | babbabb | 42 | lf:42,rf:43,rp:7,a:4 |
| [7/3] | babbaba | 28 | lf:14,ls:14,rf:14,rp:1,rs:14,re:1,lsrs:13,a:2 |
| [7/4] | aaabbab | 16 | lf:8,lp:8,a:1 |
| [7/5] | aaababa | 16 | lf:8,lp:8,a:2 |
| [7/6] | aababab | 8 | lf:8,rf:7,a:2 |
Considering [length 2 / frequency 0] ba=c.
Rewriting system is complete. See ⟨a, b | aaabaa=baba⟩.