| Back: | ⟨a, b | abaababa=baa⟩ |
|---|
Solved by morph:3/0,3/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | abaababa ⇒ baa |
| 2. | abaabbaa ⇒ baaababa |
| 3. | abaababbaa ⇒ babaa |
| 4. | abaabbabaa ⇒ baaababbaa |
| 5. | abaababbbaa ⇒ babbaa |
| 6. | abaababbabaa ⇒ bababaa |
| 7. | abaababbabbaa ⇒ bababbaa |
| 8. | abaababbbabaa ⇒ babbabaa |
| ... |
Collecting factors up to length 7 / frequency 4:
| [2/0] | ab | 34 | lf:26,lp:8,rf:12 |
|---|---|---|---|
| [2/1] | ba | 27 | lf:26,ls:1,rf:20,rp:8,rs:1,lsrp:1 |
| [2/2] | aa | 22 | lf:15,ls:7,rf:11,rs:7,lsrs:6 |
| [2/3] | bb | 10 | lf:10,rf:4,a:1 |
| [3/0] | aba | 27 | lf:18,lp:8,ls:1,rf:8,rs:1,lprs:1 |
| [3/1] | baa | 22 | lf:15,ls:7,rf:9,rp:3,rs:7,re:1,lsrp:2,lsrs:6 |
| [3/2] | bab | 10 | lf:10,rf:10,rp:5 |
| [3/3] | bba | 8 | lf:8,rf:4,a:1 |
| [4/0] | abaa | 22 | lf:11,lp:8,ls:3,rf:3,rs:3,lprs:3,lsrs:2 |
| [4/1] | bbaa | 8 | lf:4,ls:4,rf:3,rs:3,lsrs:2,a:1 |
| [4/2] | baab | 8 | lf:8 |
| [4/3] | babb | 6 | lf:6,rf:4,rp:2,a:2 |
| [5/0] | abaab | 16 | lf:8,lp:8 |
| [5/1] | babaa | 6 | lf:3,ls:3,rf:3,rp:1,rs:3,re:1,lsrs:2,a:2 |
| [5/2] | abbaa | 6 | lf:3,ls:3,rf:3,rs:3,lsrs:1,a:1 |
| [5/3] | baaba | 6 | lf:6 |
| [6/0] | abaaba | 12 | lf:6,lp:6 |
| [6/1] | bbabaa | 6 | lf:3,ls:3,rf:1,rs:1,lsrs:1,a:3 |
| [6/2] | baabab | 6 | lf:6 |
| [6/3] | aababb | 5 | lf:5,rf:1,a:2 |
Considering [length 3 / frequency 0] aba=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aba ⇒ c |
| 2. | accba ⇒ ca |
| 3. | accccba ⇒ caa |
| 4. | accccccba ⇒ caaa |
| 5. | baa ⇒ ccba |
| 6. | abc ⇒ cba |
| 7. | accbc ⇒ cc |
| 8. | accccbc ⇒ cac |
| 9. | accccccbc ⇒ caac |
| 10. | bac ⇒ ccbc |
| 11. | ccbccba ⇒ bca |
| 12. | ccbccccba ⇒ bcaa |
| 13. | ccbccbc ⇒ bcc |
| 14. | ccbccccbc ⇒ bcac |
| 15. | ccbbca ⇒ bcccba |
| 16. | ccbbcc ⇒ bcccbc |
| 17. | accbbbca ⇒ cbbca |
| 18. | babbca ⇒ ccbbbca |
| 19. | accbbbcc ⇒ cbbcc |
| 20. | babbcc ⇒ ccbbbcc |
| ... |
Collecting factors up to length 6 / frequency 7:
| [2/0] | cc | 46 | lf:37,lp:6,ls:3,rf:12,rp:5,rs:4,re:1,lsrp:1,lprs:1,lsrs:2,a:2 |
|---|---|---|---|
| [2/1] | bc | 22 | lf:16,ls:6,rf:12,rp:6,rs:2,lsrp:2,a:3 |
| [2/2] | ba | 20 | lf:10,lp:4,ls:6,rf:3,rs:3,lprs:1,a:1 |
| [2/3] | cb | 18 | lf:18,rf:9,rp:3,a:2 |
| [2/4] | ac | 18 | lf:9,lp:8,ls:1,rf:3,rs:3,lprs:2,a:4 |
| [2/5] | bb | 8 | lf:8,rf:6,a:24 |
| [2/6] | ab | 6 | lf:4,lp:2,a:1 |
| [3/0] | ccb | 24 | lf:18,lp:6,rf:6,rp:4,a:2 |
| [3/1] | ccc | 16 | lf:16,rf:2,a:8 |
| [3/2] | acc | 16 | lf:8,lp:8,a:4 |
| [3/3] | cbc | 14 | lf:9,ls:5,rf:2,rs:2,a:5 |
| [3/4] | bcc | 10 | lf:7,ls:3,rf:5,rp:3,rs:3,re:1,lsrp:1,lsrs:2,a:11 |
| [3/5] | cba | 10 | lf:5,ls:5,rf:3,rp:1,rs:3,re:1,a:2 |
| [3/6] | bbc | 6 | lf:6,rf:4,a:24 |
| [4/0] | ccbc | 18 | lf:9,lp:4,ls:5,rf:2,rp:1,rs:2,re:1,a:5 |
| [4/1] | ccba | 10 | lf:5,ls:5,rf:2,rp:1,rs:2,re:1,a:2 |
| [4/2] | cccc | 10 | lf:10,a:8 |
| [4/3] | accb | 8 | lf:4,lp:4,a:4 |
| [4/4] | accc | 8 | lf:4,lp:4,a:8 |
| [4/5] | bbcc | 6 | lf:3,ls:3,rf:2,rs:2,lsrs:2,a:25 |
| [4/6] | bbca | 6 | lf:3,ls:3,rf:2,rs:2,lsrs:2,a:24 |
| [5/0] | ccbcc | 8 | lf:4,lp:4,a:11 |
| [5/1] | acccc | 8 | lf:4,lp:4,a:8 |
| [5/2] | cccbc | 6 | lf:3,ls:3,rf:1,rs:1,a:10 |
| [5/3] | cccba | 6 | lf:3,ls:3,rf:1,rs:1,a:8 |
| [5/4] | ccccb | 6 | lf:6,a:8 |
| [5/5] | babbc | 4 | lf:2,lp:2,a:28 |
| [5/6] | ccbbc | 4 | lf:2,lp:2,a:24 |
Considering [length 3 / frequency 0] ccb=d.
Rewriting system is complete. See ⟨a, b | abaababa=baa⟩.