| Back: | ⟨a, b, c | aa=1, bacb=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. | bacb ⇒ cb |
| 3. | baccb ⇒ ccb |
| 4. | bacccb ⇒ cccb |
| 5. | baccccb ⇒ ccccb |
| 6. | bacccccb ⇒ cccccb |
| 7. | baccccccb ⇒ ccccccb |
| 8. | bacccccccb ⇒ cccccccb |
| 9. | baccccccccb ⇒ ccccccccb |
| 10. | bacccccccccb ⇒ cccccccccb |
| 11. | baccccccccccb ⇒ ccccccccccb |
| 12. | bacccccccccccb ⇒ cccccccccccb |
| 13. | baccccccccccccb ⇒ ccccccccccccb |
| 14. | bacccccccccccccb ⇒ cccccccccccccb |
| 15. | baccccccccccccccb ⇒ ccccccccccccccb |
| 16. | bacccccccccccccccb ⇒ cccccccccccccccb |
| 17. | baccccccccccccccccb ⇒ ccccccccccccccccb |
| 18. | bacccccccccccccccccb ⇒ cccccccccccccccccb |
| 19. | baccccccccccccccccccb ⇒ ccccccccccccccccccb |
| 20. | bacccccccccccccccccccb ⇒ 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] | ba | 38 | lf:19,lp:19,a:1 |
| [2/3] | ac | 19 | lf:19,a:1 |
| [3/0] | ccc | 153 | lf:153,rf:153,rp:17,a:3 |
| [3/1] | bac | 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] | acc | 18 | lf:18,a:2 |
| [3/4] | acb | 2 | lf:1,ls:1,a:1 |
Considering [length 2 / frequency 1] cb=d.
Rewriting system is complete. See ⟨a, b, c | aa=1, bacb=cb⟩.