| Back: | ⟨a, b, c | ab=a, cbc=ca⟩ |
|---|
Solved by morph:2/1. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | ab ⇒ a |
| 2. | cbc ⇒ ca |
| 3. | cac ⇒ caa |
| 4. | caac ⇒ caaa |
| 5. | caaac ⇒ caaaa |
| 6. | caaaac ⇒ caaaaa |
| 7. | caaaaac ⇒ caaaaaa |
| 8. | caaaaaac ⇒ caaaaaaa |
| 9. | caaaaaaac ⇒ caaaaaaaa |
| 10. | caaaaaaaac ⇒ caaaaaaaaa |
| 11. | caaaaaaaaac ⇒ caaaaaaaaaa |
| 12. | caaaaaaaaaac ⇒ caaaaaaaaaaa |
| 13. | caaaaaaaaaaac ⇒ caaaaaaaaaaaa |
| 14. | caaaaaaaaaaaac ⇒ caaaaaaaaaaaaa |
| 15. | caaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaa |
| 16. | caaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaa |
| 17. | caaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaa |
| 18. | caaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaaa |
| 19. | caaaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaaaa |
| 20. | caaaaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaaaaa |
| ... |
Collecting factors up to length 4 / frequency 7:
| [2/0] | aa | 153 | lf:153,rf:171,rs:18,a:2 |
|---|---|---|---|
| [2/1] | ca | 36 | lf:18,lp:18,rf:19,rp:19,rs:1,re:1,lprp:18,a:1 |
| [2/2] | ac | 36 | lf:18,ls:18,a:2 |
| [2/3] | bc | 2 | lf:1,ls:1,a:1 |
| [2/4] | cb | 2 | lf:1,lp:1,a:1 |
| [3/0] | aaa | 136 | lf:136,rf:153,rs:17,a:3 |
| [3/1] | caa | 34 | lf:17,lp:17,rf:18,rp:18,rs:1,re:1,lprp:17,a:2 |
| [3/2] | aac | 34 | lf:17,ls:17,a:3 |
Considering [length 2 / frequency 1] ca=d.
Rewriting system is complete. See ⟨a, b, c | ab=a, cbc=ca⟩.