| Back: | ⟨a, b, c | aa=1, abaccb=1⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aa ⇒ 1 |
| 2. | cbab ⇒ babaca |
| 3. | babacc ⇒ 1 |
| 4. | baccb ⇒ a |
| 5. | bacca ⇒ ccb |
| 6. | ccba ⇒ bacc |
| 7. | babacbacc ⇒ cba |
| 8. | babacbacbacc ⇒ cbacba |
| 9. | baccccb ⇒ cca |
| 10. | bacccca ⇒ ccccb |
| 11. | babacbacbacbacc ⇒ cbacbacba |
| 12. | baccccccb ⇒ cccca |
| 13. | bacccccca ⇒ ccccccb |
| 14. | baccccccccb ⇒ cccccca |
| 15. | bacccccccca ⇒ ccccccccb |
| 16. | baccccccccccb ⇒ cccccccca |
| 17. | bacccccccccca ⇒ ccccccccccb |
| 18. | baccccccccccccb ⇒ cccccccccca |
| 19. | bacccccccccccca ⇒ ccccccccccccb |
| ... |
Collecting factors up to length 4 / frequency 7:
| [2/0] | cc | 82 | lf:77,lp:1,ls:4,rf:62,rp:11,rs:1,lprs:1,a:2 |
|---|---|---|---|
| [2/1] | ba | 45 | lf:28,lp:16,ls:1,rf:9,rp:2,rs:3,lsrp:1,lprs:3,a:2 |
| [2/2] | ac | 22 | lf:22,rf:5,a:2 |
| [2/3] | cb | 21 | lf:14,lp:1,ls:6,rf:12,rp:3,rs:6,a:2 |
| [2/4] | ca | 12 | lf:6,ls:6,rf:6,rs:6,a:4 |
| [2/5] | ab | 6 | lf:5,ls:1,rf:1,a:9 |
| [3/0] | ccc | 60 | lf:60,rf:50,rp:9,a:6 |
| [3/1] | bac | 34 | lf:22,lp:12,rf:5,rp:1,a:2 |
| [3/2] | acc | 20 | lf:16,ls:4,rf:1,rs:1,a:2 |
| [3/3] | ccb | 14 | lf:7,lp:1,ls:6,rf:6,rp:1,rs:6,re:1,a:2 |
| [3/4] | cca | 12 | lf:6,ls:6,rf:5,rp:1,rs:5,re:1,a:4 |
| [3/5] | cba | 10 | lf:8,lp:1,ls:1,rf:6,rp:3,rs:3,re:1,a:7 |
| [3/6] | bab | 10 | lf:5,lp:4,ls:1,rf:1,rp:1,lsrp:1,a:9 |
Considering [length 2 / frequency 0] cc=d.
Rewriting system is complete. See ⟨a, b, c | aa=1, abaccb=1⟩.