| Back: | ⟨a, b, c | ab=a, bcccb=1⟩ |
|---|
Solved by morph:3/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | ab ⇒ a |
| 2. | cbb ⇒ bbc |
| 3. | acbb ⇒ ac |
| 4. | accc ⇒ a |
| 5. | cccb ⇒ bccc |
| 6. | accbb ⇒ acc |
| 7. | bbccc ⇒ 1 |
| 8. | acbcbb ⇒ acbc |
| 9. | acbccc ⇒ acb |
| 10. | accbccc ⇒ accb |
| 11. | bbcbccc ⇒ cb |
| 12. | acbcbccc ⇒ acbcb |
| 13. | bbccbccc ⇒ ccb |
| 14. | acbccbccc ⇒ acbccb |
| 15. | accbcbccc ⇒ accbcb |
| 16. | bbcbcbccc ⇒ cbcb |
| 17. | acbcbcbccc ⇒ acbcbcb |
| 18. | bbcbccbccc ⇒ cbccb |
| 19. | bbccbcbccc ⇒ ccbcb |
| ... |
Collecting factors up to length 4 / frequency 7:
| [2/0] | cc | 49 | lf:35,lp:1,ls:13,rf:9,rp:2,rs:2,lsrp:2,lprs:1,a:2 |
|---|---|---|---|
| [2/1] | cb | 27 | lf:25,lp:1,ls:1,rf:20,rp:3,rs:11,re:1,a:3 |
| [2/2] | bc | 26 | lf:26,rf:11,rp:1,rs:2,a:3 |
| [2/3] | bb | 20 | lf:10,lp:6,ls:4,rf:1,rp:1,lsrp:10,a:6 |
| [2/4] | ac | 20 | lf:10,lp:10,rf:9,rp:9,rs:1,re:1,lprp:9,lprs:1,a:2 |
| [3/0] | ccc | 28 | lf:14,lp:1,ls:13,rf:1,rs:1,lprs:10,a:2 |
| [3/1] | cbc | 20 | lf:20,rf:9,rp:2,rs:1,a:4 |
| [3/2] | bcc | 16 | lf:16,rf:3,rp:1,a:3 |
| [3/3] | bbc | 12 | lf:6,lp:6,rf:1,rp:1,rs:1,re:1,a:15 |
| [3/4] | acb | 12 | lf:6,lp:6,rf:5,rp:5,rs:1,re:1,lprp:5,lprs:1,a:4 |
| [3/5] | bcb | 10 | lf:10,rf:6,rs:5,a:7 |
| [3/6] | ccb | 9 | lf:8,ls:1,rf:6,rp:2,rs:4,re:1,a:3 |
Considering [length 3 / frequency 0] ccc=d.
Rewriting system is complete. See ⟨a, b, c | ab=a, bcccb=1⟩.