| Back: | ⟨a, b, c | aab=1, baca=c⟩ |
|---|
Solved by morph:2/0,2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | cca ⇒ cac |
| 2. | ccb ⇒ cbc |
| 3. | aca ⇒ aac |
| 4. | cacb ⇒ cabc |
| 5. | bac ⇒ cab |
| 6. | cba ⇒ cab |
| 7. | cbca ⇒ cabc |
| 8. | cbcb ⇒ cbbc |
| 9. | aab ⇒ 1 |
| 10. | caacb ⇒ cc |
| 11. | caba ⇒ c |
| 12. | cabca ⇒ cc |
| 13. | baac ⇒ c |
| 14. | cbba ⇒ cabb |
| 15. | aaacb ⇒ ac |
| 16. | cabba ⇒ cb |
| 17. | cabbca ⇒ cbc |
| 18. | baaac ⇒ ca |
| 19. | cabbba ⇒ cbb |
| ... |
Collecting factors up to length 4 / frequency 4:
| [2/0] | ca | 24 | lf:12,lp:7,ls:5,rf:7,rp:7,rs:1,re:1,lprp:1,lsrp:11,a:2 |
|---|---|---|---|
| [2/1] | cb | 18 | lf:9,lp:4,ls:5,rf:5,rp:5,rs:1,re:1,lprp:1,lsrp:11,a:5 |
| [2/2] | ba | 16 | lf:8,lp:3,ls:5,a:3 |
| [2/3] | ac | 11 | lf:7,lp:1,ls:3,rf:3,rp:1,rs:3,re:1,lprs:10,a:2 |
| [3/0] | cab | 10 | lf:5,lp:5,rf:5,rp:5,rs:2,re:2,a:3 |
| [3/1] | bba | 6 | lf:3,ls:3,a:12 |
| [3/2] | bca | 6 | lf:3,ls:3,a:17 |
| [3/3] | acb | 6 | lf:3,ls:3,a:5 |
Considering [length 2 / frequency 0] ca=d.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | cd ⇒ dc |
| 2. | ca ⇒ d |
| 3. | ccb ⇒ cbc |
| 4. | dac ⇒ dd |
| 5. | dcb ⇒ dbc |
| 6. | aac ⇒ ad |
| 7. | cbd ⇒ dbc |
| 8. | bac ⇒ db |
| 9. | cba ⇒ db |
| 10. | ddb ⇒ cc |
| 11. | dad ⇒ dda |
| 12. | dab ⇒ c |
| 13. | dbd ⇒ cc |
| 14. | dba ⇒ c |
| 15. | aad ⇒ ada |
| 16. | aab ⇒ 1 |
| 17. | bad ⇒ c |
| 18. | cbba ⇒ dbb |
| 19. | dbbd ⇒ cbc |
| 20. | dbba ⇒ cb |
| ... |
Collecting factors up to length 6 / frequency 3:
| [2/0] | ba | 12 | lf:6,lp:2,ls:4,a:3 |
|---|---|---|---|
| [2/1] | db | 10 | lf:5,lp:4,ls:1,rf:5,rp:5,rs:2,re:2,a:6 |
| [2/2] | cb | 10 | lf:5,lp:3,ls:2,rf:3,rp:3,rs:1,re:1,lsrp:10,a:14 |
| [3/0] | bba | 4 | lf:2,ls:2,a:15 |
| [3/1] | dbb | 4 | lf:2,lp:2,rf:1,rp:1,rs:1,re:1,a:15 |
| [3/2] | bbd | 2 | lf:1,ls:1,a:21 |
Considering [length 2 / frequency 0] ba=e.
Rewriting system is complete. See ⟨a, b, c | aab=1, baca=c⟩.