| Back: | ⟨a, b, c | aa=1, bbcb=cb⟩ |
|---|
Solved by morph:2/1. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaWorkLimit
| # | Rule |
|---|---|
| 1. | aa ⇒ 1 |
| 2. | bbcb ⇒ cb |
| 3. | bbccb ⇒ ccb |
| 4. | bbcccb ⇒ cccb |
| 5. | bbccccb ⇒ ccccb |
| 6. | bbcccccb ⇒ cccccb |
| 7. | bbccccccb ⇒ ccccccb |
| 8. | bbcccccccb ⇒ cccccccb |
| 9. | bbccccccccb ⇒ ccccccccb |
| 10. | bbcccccccccb ⇒ cccccccccb |
| 11. | bbccccccccccb ⇒ ccccccccccb |
| 12. | bbcccccccccccb ⇒ cccccccccccb |
| 13. | bbccccccccccccb ⇒ ccccccccccccb |
| 14. | bbcccccccccccccb ⇒ cccccccccccccb |
| 15. | bbccccccccccccccb ⇒ ccccccccccccccb |
| 16. | bbcccccccccccccccb ⇒ cccccccccccccccb |
| 17. | bbccccccccccccccccb ⇒ ccccccccccccccccb |
| 18. | bbcccccccccccccccccb ⇒ cccccccccccccccccb |
| 19. | bbccccccccccccccccccb ⇒ ccccccccccccccccccb |
| 20. | bbcccccccccccccccccccb ⇒ cccccccccccccccccccb |
| ... |
Collecting factors up to length 4 / frequency 7:
| [2/0] | cc | 171 | lf:171,rf:171,rp:18,a:2 |
|---|---|---|---|
| [2/1] | cb | 38 | lf:19,ls:19,rf:19,rp:1,rs:19,re:1,lsrp:1,lsrs:19,a:1 |
| [2/2] | bb | 38 | lf:19,lp:19,a:1 |
| [2/3] | bc | 19 | lf:19,a:1 |
| [3/0] | ccc | 153 | lf:153,rf:153,rp:17,a:3 |
| [3/1] | bbc | 38 | lf:19,lp:19,a:1 |
| [3/2] | ccb | 36 | lf:18,ls:18,rf:18,rp:1,rs:18,re:1,lsrp:1,lsrs:18,a:2 |
| [3/3] | bcc | 18 | lf:18,a:2 |
| [3/4] | bcb | 2 | lf:1,ls:1,a:1 |
Considering [length 2 / frequency 1] cb=d.
Rewriting system is complete. See ⟨a, b, c | aa=1, bbcb=cb⟩.