| Back: | ⟨a, b, c | ab=1, acac=ca⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | acca ⇒ caac |
| 2. | acac ⇒ ca |
| 3. | acccaa ⇒ ccaaac |
| 4. | aaccca ⇒ caaacc |
| 5. | cacaacc ⇒ accca |
| 6. | acccacaa ⇒ ccacaaac |
| 7. | aaccccaa ⇒ ccaaaacc |
| 8. | aaacccca ⇒ caaaaccc |
| 9. | ccaacaacc ⇒ acccaca |
| 10. | cacaaaccc ⇒ aacccca |
| 11. | accccaaac ⇒ cccaaaacc |
| 12. | ccacaacaacc ⇒ accccaa |
| 13. | ab ⇒ 1 |
| 14. | caacb ⇒ acc |
| 15. | caaacb ⇒ acaacc |
| 16. | caaaacb ⇒ acaacaacc |
| 17. | caaaccb ⇒ aaccc |
| 18. | caaaaccb ⇒ acaaaccc |
| 19. | caacaaccb ⇒ acaaccc |
| 20. | caaaacccb ⇒ aaacccc |
| ... |
Collecting factors up to length 4 / frequency 7:
| [2/0] | ca | 38 | lf:26,lp:9,ls:3,rf:19,rp:4,rs:4,re:1,lsrp:3,lprs:2,a:1 |
|---|---|---|---|
| [2/1] | aa | 38 | lf:32,lp:3,ls:3,rf:27,rp:3,rs:1,a:2 |
| [2/2] | ac | 35 | lf:28,lp:5,ls:2,rf:25,rp:8,rs:3,lprs:3,a:1 |
| [2/3] | cc | 34 | lf:28,lp:2,ls:4,rf:32,rp:4,rs:11,a:2 |
| [2/4] | cb | 14 | lf:7,ls:7,a:3 |
| [3/0] | caa | 28 | lf:18,lp:7,ls:3,rf:13,rp:3,rs:1,a:2 |
| [3/1] | acc | 22 | lf:15,lp:4,ls:3,rf:15,rp:4,rs:6,re:1,lsrp:3,lprs:1,a:2 |
| [3/2] | aac | 21 | lf:18,lp:2,ls:1,rf:15,rp:2,rs:3,a:2 |
| [3/3] | cca | 14 | lf:9,lp:2,ls:3,rf:8,rp:3,rs:2,a:2 |
| [3/4] | ccc | 12 | lf:11,ls:1,rf:13,rp:1,rs:5,a:4 |
| [3/5] | aaa | 12 | lf:11,lp:1,rf:11,rp:1,a:6 |
| [3/6] | aca | 9 | lf:8,lp:1,rf:7,rp:4,rs:1,a:1 |
Considering [length 2 / frequency 0] ca=d.
Rewriting system is complete. See ⟨a, b, c | ab=1, acac=ca⟩.