| Back: | ⟨a, b, c | aabc=1, cbac=1⟩ |
|---|
Solved by morph:3/0,3/0,3/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | acc ⇒ caa |
| 2. | aab ⇒ cba |
| 3. | abc ⇒ ccb |
| 4. | bca ⇒ ccb |
| 5. | bac ⇒ cba |
| 6. | ccba ⇒ 1 |
| 7. | bcaa ⇒ 1 |
| 8. | aacba ⇒ cbaac |
| 9. | aaacc ⇒ aacaa |
| 10. | bcccb ⇒ ccbbc |
| 11. | bccaa ⇒ ccbcc |
| 12. | baacc ⇒ cbaaa |
| 13. | ccbccb ⇒ bc |
| 14. | ccbcba ⇒ ab |
| 15. | ccbccccb ⇒ bcca |
| ... |
Collecting factors up to length 4 / frequency 2:
| [2/0] | cc | 21 | lf:14,lp:4,ls:3,rf:6,rp:4,rs:1,a:8 |
|---|---|---|---|
| [2/1] | bc | 13 | lf:8,lp:4,ls:1,rf:4,rp:2,rs:2,re:1,lprs:1,a:20 |
| [3/0] | ccb | 14 | lf:7,lp:4,ls:3,rf:4,rp:4,rs:2,re:2,lsrp:1,a:19 |
| [3/1] | bcc | 6 | lf:4,lp:2,rf:2,rp:1,rs:1,lprs:1,a:28 |
Considering [length 3 / frequency 0] ccb=d.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | ad ⇒ 1 |
| 2. | da ⇒ 1 |
| 3. | dd ⇒ bc |
| 4. | ccb ⇒ d |
| 5. | acc ⇒ caa |
| 6. | aab ⇒ cba |
| 7. | abc ⇒ d |
| 8. | bca ⇒ d |
| 9. | bac ⇒ cba |
| 10. | dca ⇒ ccd |
| 11. | dcb ⇒ abd |
| 12. | dbc ⇒ bcd |
| 13. | accd ⇒ ca |
| 14. | dccd ⇒ bcca |
| 15. | caacb ⇒ acd |
| 16. | aacba ⇒ cbaac |
| 17. | bccaa ⇒ dcc |
| ... |
Collecting factors up to length 4 / frequency 3:
| [2/0] | bc | 8 | lf:4,lp:2,ls:2,rf:3,rp:3,rs:1,re:1,lsrp:10,a:8 |
|---|---|---|---|
| [2/1] | ac | 8 | lf:5,lp:2,ls:1,rf:2,rp:1,rs:1,a:3 |
| [2/2] | aa | 7 | lf:4,lp:2,ls:1,rf:2,rs:1,a:7 |
| [3/0] | caa | 4 | lf:2,lp:1,ls:1,rf:1,rp:1,rs:1,re:1,a:20 |
| [3/1] | ccd | 4 | lf:2,ls:2,rf:1,rp:1,rs:1,re:1,a:15 |
| [3/2] | aac | 3 | lf:2,lp:1,rf:1,rs:1,lprs:1,a:17 |
Considering [length 3 / frequency 0] caa=e.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | ad ⇒ 1 |
| 2. | be ⇒ 1 |
| 3. | eb ⇒ 1 |
| 4. | ed ⇒ ca |
| 5. | da ⇒ 1 |
| 6. | de ⇒ cc |
| 7. | dd ⇒ bc |
| 8. | ccb ⇒ d |
| 9. | caa ⇒ e |
| 10. | acc ⇒ e |
| 11. | aab ⇒ cba |
| 12. | abc ⇒ d |
| 13. | abe ⇒ a |
| 14. | bca ⇒ d |
| 15. | bac ⇒ cba |
| 16. | ecc ⇒ cae |
| ... |
Collecting factors up to length 4 / frequency 3:
| [2/0] | ab | 6 | lf:3,lp:2,ls:1,a:9 |
|---|---|---|---|
| [2/1] | cc | 6 | lf:3,lp:1,ls:2,rf:1,rp:1,rs:1,re:1,a:2 |
| [2/2] | bc | 4 | lf:2,lp:1,ls:1,rf:1,rp:1,rs:1,re:1,a:12 |
| [3/0] | cba | 0 | rf:2,rp:2,rs:2,re:2,a:4 |
| [3/1] | cae | 0 | rf:1,rp:1,rs:1,re:1,a:27 |
Considering [length 3 / frequency 0] cba=f.
Rewriting system is complete. See ⟨a, b, c | aabc=1, cbac=1⟩.