| Back: | ⟨a, b | aabba=baa⟩ |
|---|
Solved by morph:4/0,3/0,3/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | aabba ⇒ baa |
| 2. | aabbbaa ⇒ babaa |
| 3. | aabbbbaa ⇒ babbaa |
| 4. | aabbbbbaa ⇒ babbbaa |
| 5. | aabbbabaa ⇒ bababaa |
| 6. | aabbbbbbaa ⇒ babbbbaa |
| ... |
Collecting factors up to length 7 / frequency 3:
| [2/0] | aa | 22 | lf:11,lp:6,ls:5,rf:6,rs:6,lprs:6,lsrs:5 |
|---|---|---|---|
| [2/1] | bb | 17 | lf:17,rf:6 |
| [2/2] | ba | 8 | lf:7,ls:1,rf:12,rp:6,lsrp:1 |
| [3/0] | aab | 12 | lf:6,lp:6 |
| [3/1] | bbb | 11 | lf:11,rf:3,a:1 |
| [3/2] | baa | 10 | lf:5,ls:5,rf:6,rp:1,rs:6,re:1,lsrs:5 |
| [4/0] | aabb | 12 | lf:6,lp:6 |
| [4/1] | bbaa | 8 | lf:4,ls:4,rf:3,rs:3,lsrs:3,a:1 |
| [4/2] | bbbb | 6 | lf:6,rf:1,a:3 |
| [5/0] | aabbb | 10 | lf:5,lp:5,a:1 |
| [5/1] | bbbaa | 8 | lf:4,ls:4,rf:2,rs:2,lsrs:2,a:1 |
| [5/2] | bbbba | 3 | lf:3,rf:1,a:3 |
| [6/0] | bbbbaa | 6 | lf:3,ls:3,rf:1,rs:1,lsrs:1,a:3 |
| [6/1] | aabbbb | 6 | lf:3,lp:3,a:3 |
| [6/2] | aabbba | 4 | lf:2,lp:2,a:1 |
Considering [length 4 / frequency 0] aabb=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | bac ⇒ cc |
| 2. | bcac ⇒ cabcc |
| 3. | cabb ⇒ bc |
| 4. | babc ⇒ cbc |
| 5. | bcabc ⇒ cabcbc |
| 6. | aabcc ⇒ cac |
| 7. | baa ⇒ ca |
| 8. | bcaa ⇒ cabca |
| 9. | cabcbbc ⇒ bbcc |
| 10. | babbc ⇒ cbbc |
| 11. | aabb ⇒ c |
| 12. | aabcbc ⇒ cabc |
| 13. | aacabcc ⇒ caac |
| 14. | aabca ⇒ caa |
| 15. | cabcbbbc ⇒ bbcbc |
| 16. | babbbc ⇒ cbbbc |
| 17. | aabcbbc ⇒ bcc |
| 18. | aacabcbc ⇒ caabc |
| 19. | aacabca ⇒ caaa |
| 20. | aabcbbbc ⇒ bcbc |
| ... |
Collecting factors up to length 6 / frequency 5:
| [2/0] | bc | 36 | lf:23,lp:3,ls:10,rf:16,rp:3,rs:9,re:1,lsrp:2,lprs:1,lsrs:8,a:3 |
|---|---|---|---|
| [2/1] | aa | 22 | lf:11,lp:9,ls:2,rf:5,rs:2,lprs:2,a:1 |
| [2/2] | ab | 16 | lf:16,rf:5,a:1 |
| [2/3] | ca | 16 | lf:11,lp:3,ls:2,rf:11,rp:10,rs:2,re:1,lsrp:2,a:2 |
| [2/4] | bb | 13 | lf:11,ls:2,rf:5,rp:2,a:1 |
| [3/0] | abc | 14 | lf:12,ls:2,rf:5,rs:2,a:3 |
| [3/1] | aab | 12 | lf:6,lp:6,rf:1,a:1 |
| [3/2] | bbc | 12 | lf:6,ls:6,rf:4,rp:2,rs:2,lsrp:2,lsrs:2,a:12 |
| [3/3] | bca | 10 | lf:5,lp:3,ls:2,rf:1,rs:1,lprs:1,a:3 |
| [3/4] | cab | 10 | lf:7,lp:3,rf:4,rp:4,a:4 |
| [4/0] | aabc | 10 | lf:5,lp:5,rf:1,rs:1,a:3 |
| [4/1] | cabc | 9 | lf:6,lp:2,ls:1,rf:4,rp:4,rs:1,re:1,lsrp:1,a:7 |
| [4/2] | aaca | 6 | lf:3,lp:3,a:13 |
| [4/3] | abcb | 6 | lf:6,rf:1,a:10 |
| [4/4] | bbbc | 6 | lf:3,ls:3,rf:1,rs:1,lsrs:1,a:19 |
| [5/0] | aacab | 6 | lf:3,lp:3,a:13 |
| [5/1] | aabcb | 6 | lf:3,lp:3,a:10 |
| [5/2] | cabcb | 5 | lf:3,lp:2,rf:1,rp:1,a:11 |
| [5/3] | abcbb | 4 | lf:4,a:17 |
| [5/4] | abcbc | 4 | lf:2,ls:2,rf:1,rs:1,a:10 |
Considering [length 3 / frequency 0] abc=d.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | cbc ⇒ bd |
| 2. | bcd ⇒ cdbc |
| 3. | add ⇒ cad |
| 4. | adc ⇒ cac |
| 5. | acdd ⇒ dad |
| 6. | acdc ⇒ dac |
| 7. | abc ⇒ d |
| 8. | adbc ⇒ cd |
| 9. | acdbc ⇒ dd |
| 10. | bad ⇒ cd |
| 11. | bcad ⇒ cdd |
| 12. | bac ⇒ cc |
| 13. | bcac ⇒ cdc |
| 14. | ada ⇒ caa |
| 15. | cabb ⇒ bc |
| 16. | abbd ⇒ dbc |
| 17. | babd ⇒ cbd |
| 18. | baa ⇒ ca |
| 19. | bcaa ⇒ cda |
| 20. | aabb ⇒ c |
| ... |
Collecting factors up to length 6 / frequency 5:
| [2/0] | bc | 16 | lf:8,lp:4,ls:4,rf:3,rp:1,rs:3,re:1,lprs:1,a:2 |
|---|---|---|---|
| [2/1] | ad | 12 | lf:6,lp:4,ls:2,rf:2,rs:2,lprs:10,a:4 |
| [2/2] | ac | 10 | lf:5,lp:3,ls:2,rf:2,rs:2,lprs:1,a:8 |
| [2/3] | ba | 8 | lf:4,lp:4,a:3 |
| [2/4] | ab | 7 | lf:5,lp:2,a:1 |
| [3/0] | abb | 6 | lf:3,lp:1,ls:2,a:1 |
| [3/1] | bca | 6 | lf:3,lp:3,a:10 |
| [3/2] | acd | 6 | lf:3,lp:3,a:24 |
| [3/3] | dbc | 4 | lf:2,ls:2,rf:2,rp:1,rs:2,re:1,a:15 |
| [3/4] | aab | 2 | lf:1,lp:1,a:1 |
| [4/0] | acdb | 2 | lf:1,lp:1,a:24 |
| [4/1] | cdbc | 2 | lf:1,ls:1,rf:1,rp:1,rs:1,re:1,a:21 |
Considering [length 3 / frequency 0] abb=e.
Rewriting system is complete. See ⟨a, b | aabba=baa⟩.