| Back: | ⟨a, b | ababaaab=bab⟩ |
|---|
Solved by morph:2/0,3/2. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | ababaaab ⇒ bab |
| 2. | abababab ⇒ bbabaaab |
| 3. | ababaabab ⇒ bbab |
| 4. | bbabaaabaaab ⇒ ababbab |
| 5. | abbbabaaab ⇒ bbabaaabab |
| 6. | abababbab ⇒ bbabaabab |
| 7. | ababaabbab ⇒ bbbab |
| 8. | bbabaaabaabab ⇒ ababbbab |
| 9. | abababbbab ⇒ bbabaabbab |
| 10. | ababaabbbab ⇒ bbbbab |
| 11. | ababaabbbbab ⇒ bbbbbab |
| ... |
Collecting factors up to length 7 / frequency 4:
| [2/0] | ab | 61 | lf:41,lp:9,ls:11,rf:22,rp:2,rs:11,lsrp:2,lprs:9,lsrs:11 |
|---|---|---|---|
| [2/1] | ba | 32 | lf:32,rf:20,rp:1 |
| [2/2] | bb | 15 | lf:13,lp:2,rf:18,rp:8,a:1 |
| [2/3] | aa | 15 | lf:15,rf:6 |
| [3/0] | aba | 32 | lf:24,lp:8,rf:8,rp:2 |
| [3/1] | bab | 30 | lf:22,ls:8,rf:16,rp:1,rs:10,re:1,lsrs:7 |
| [3/2] | aab | 13 | lf:10,ls:3,rf:4,rs:1 |
| [3/3] | bba | 10 | lf:8,lp:2,rf:11,rp:5,a:1 |
| [4/0] | abab | 25 | lf:14,lp:8,ls:3,rf:4,rp:2,rs:2,lsrp:1,lprs:1 |
| [4/1] | bbab | 15 | lf:8,lp:2,ls:5,rf:11,rp:5,rs:7,re:1,lsrp:2,lprs:2,lsrs:4,a:1 |
| [4/2] | baba | 12 | lf:12,rf:4 |
| [4/3] | abaa | 10 | lf:10,rf:4 |
| [5/0] | ababa | 17 | lf:9,lp:8 |
| [5/1] | baaab | 8 | lf:5,ls:3,rf:2,rs:1 |
| [5/2] | babaa | 8 | lf:8,rf:4 |
| [5/3] | bbbab | 7 | lf:4,ls:3,rf:4,rp:1,rs:4,re:1,lsrs:2,a:2 |
| [6/0] | ababaa | 10 | lf:5,lp:5 |
| [6/1] | ababab | 8 | lf:4,lp:3,ls:1,a:3 |
| [6/2] | abaaab | 8 | lf:5,ls:3,rf:2,rs:1 |
| [6/3] | abbbab | 6 | lf:3,lp:1,ls:2,rf:1,rs:1,a:5 |
Considering [length 2 / frequency 0] ab=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | accacc ⇒ cccaac |
| 2. | accaac ⇒ cc |
| 3. | cccaacaac ⇒ acccc |
| 4. | acccccaac ⇒ cccaacacc |
| 5. | accacacccc ⇒ cccaaacccc |
| 6. | accaaacccc ⇒ cacccc |
| 7. | accacacacccc ⇒ cccaaacacccc |
| 8. | accaaacacccc ⇒ cacacccc |
| 9. | cccaacacccaac ⇒ acccccacc |
| 10. | cccaacaaacccc ⇒ acccacccc |
| 11. | acccccacccaac ⇒ cccaacacccacc |
| 12. | acccccaaacccc ⇒ cccaacacacccc |
| 13. | accaaacccacccc ⇒ cacccacccc |
| 14. | accaaacacacccc ⇒ cacacacccc |
| 15. | bc ⇒ ccaac |
| 16. | bacccc ⇒ ccaaacccc |
| 17. | bacacccc ⇒ ccaaacacccc |
| 18. | bacccacccc ⇒ ccaaacccacccc |
| 19. | bacacacccc ⇒ ccaaacacacccc |
| 20. | ab ⇒ c |
| ... |
Collecting factors up to length 6 / frequency 7:
| [2/0] | cc | 87 | lf:71,lp:3,ls:13,rf:72,rp:12,rs:17,re:1,lsrp:8,lprs:3,lsrs:12,a:2 |
|---|---|---|---|
| [2/1] | ac | 61 | lf:45,lp:11,ls:5,rf:34,rp:3,rs:2,lsrp:2,lprs:1,a:2 |
| [2/2] | ca | 30 | lf:30,rf:31,rp:4,a:2 |
| [2/3] | aa | 20 | lf:20,rf:17,a:2 |
| [2/4] | ba | 8 | lf:4,lp:4,a:7 |
| [3/0] | ccc | 55 | lf:40,lp:3,ls:12,rf:39,rp:6,rs:13,lsrp:3,lprs:2,lsrs:12,a:4 |
| [3/1] | acc | 40 | lf:28,lp:11,ls:1,rf:21,rp:3,rs:3,lprs:2,a:3 |
| [3/2] | aac | 19 | lf:14,ls:5,rf:11,rs:2,a:2 |
| [3/3] | cca | 18 | lf:18,rf:16,rp:5,a:2 |
| [3/4] | cac | 16 | lf:16,rf:20,rp:4,a:4 |
| [3/5] | caa | 14 | lf:14,rf:11,a:2 |
| [3/6] | aca | 12 | lf:12,rf:11,a:5 |
| [4/0] | cccc | 30 | lf:18,ls:12,rf:15,rs:13,lsrs:12,a:5 |
| [4/1] | accc | 22 | lf:19,lp:3,rf:18,rp:3,a:5 |
| [4/2] | acca | 16 | lf:8,lp:8,a:3 |
| [4/3] | caac | 13 | lf:8,ls:5,rf:5,rs:2,a:2 |
| [4/4] | ccca | 13 | lf:10,lp:3,rf:11,rp:6,a:4 |
| [4/5] | cacc | 12 | lf:11,ls:1,rf:15,rp:2,rs:3,a:4 |
| [4/6] | ccaa | 12 | lf:12,rf:11,rp:5,a:2 |
| [5/0] | acccc | 30 | lf:15,lp:3,ls:12,rf:14,rp:2,rs:13,re:1,lprs:1,lsrs:12,a:5 |
| [5/1] | ccaac | 11 | lf:7,ls:4,rf:5,rp:1,rs:2,re:1,a:2 |
| [5/2] | accaa | 10 | lf:5,lp:5,a:3 |
| [5/3] | caccc | 10 | lf:10,rf:12,rp:2,a:8 |
| [5/4] | cccaa | 10 | lf:7,lp:3,rf:6,rp:6,a:4 |
| [5/5] | acacc | 7 | lf:7,rf:8,rs:1,a:6 |
| [5/6] | accac | 6 | lf:3,lp:3,a:4 |
Considering [length 3 / frequency 2] aac=d.
Rewriting system is complete. See ⟨a, b | ababaaab=bab⟩.