| Back: | ⟨a, b, c | ab=c, bac=ca⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | ab ⇒ c |
| 2. | cac ⇒ aca |
| 3. | bac ⇒ ca |
| 4. | caaca ⇒ acaac |
| 5. | baaca ⇒ caac |
| 6. | baacc ⇒ caacb |
| 7. | acaacb ⇒ caacc |
| 8. | caaaca ⇒ acaacc |
| 9. | baaaca ⇒ caacc |
| 10. | baaacc ⇒ caaccb |
| 11. | bcaacc ⇒ caaacb |
| 12. | acaaacb ⇒ ccaacc |
| 13. | acaaccb ⇒ caaacc |
| 14. | caaaaca ⇒ acaaccc |
| 15. | baaaaca ⇒ caaccc |
| 16. | baaaacc ⇒ caacccb |
| 17. | bcaaacc ⇒ caaaccb |
| 18. | bccaacc ⇒ caaaacb |
| 19. | acaaaacb ⇒ cccaacc |
| 20. | acaaaccb ⇒ ccaaacc |
| ... |
Collecting factors up to length 4 / frequency 7:
| [2/0] | ac | 31 | lf:24,lp:5,ls:2,rf:21,rp:4,rs:2,lsrp:10,a:1 |
|---|---|---|---|
| [2/1] | aa | 31 | lf:31,rf:23,a:3 |
| [2/2] | ca | 28 | lf:18,lp:4,ls:6,rf:19,rp:12,rs:2,re:1,lsrp:3,lprs:10,a:1 |
| [2/3] | cc | 15 | lf:9,ls:6,rf:19,rp:3,rs:9,a:5 |
| [2/4] | ba | 14 | lf:7,lp:7,a:1 |
| [2/5] | cb | 10 | lf:5,ls:5,rf:6,rs:6,a:5 |
| [2/6] | bc | 6 | lf:3,lp:3,a:9 |
| [3/0] | aca | 22 | lf:11,lp:5,ls:6,rf:4,rp:4,rs:1,re:1,lsrp:3,a:2 |
| [3/1] | aac | 17 | lf:17,rf:17,rs:2,a:3 |
| [3/2] | caa | 14 | lf:11,lp:3,rf:17,rp:11,a:3 |
| [3/3] | acc | 14 | lf:8,ls:6,rf:12,rs:7,a:5 |
| [3/4] | aaa | 14 | lf:14,rf:6,a:6 |
| [3/5] | baa | 12 | lf:6,lp:6,a:3 |
| [3/6] | acb | 6 | lf:3,ls:3,rf:3,rs:3,a:5 |
Considering [length 2 / frequency 0] ac=d.
Rewriting system is complete. See ⟨a, b, c | ab=c, bac=ca⟩.