| Back: | ⟨a, b, c | ba=ac, aac=a⟩ |
|---|
Solved by morph:3/1. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | ba ⇒ ac |
| 2. | aac ⇒ a |
| 3. | acac ⇒ ac |
| 4. | accac ⇒ acc |
| 5. | acccac ⇒ accc |
| 6. | accccac ⇒ acccc |
| 7. | acccccac ⇒ accccc |
| 8. | accccccac ⇒ acccccc |
| 9. | acccccccac ⇒ accccccc |
| 10. | accccccccac ⇒ acccccccc |
| 11. | acccccccccac ⇒ accccccccc |
| 12. | accccccccccac ⇒ acccccccccc |
| 13. | acccccccccccac ⇒ accccccccccc |
| 14. | accccccccccccac ⇒ acccccccccccc |
| 15. | acccccccccccccac ⇒ accccccccccccc |
| 16. | accccccccccccccac ⇒ acccccccccccccc |
| 17. | acccccccccccccccac ⇒ accccccccccccccc |
| 18. | accccccccccccccccac ⇒ acccccccccccccccc |
| 19. | acccccccccccccccccac ⇒ accccccccccccccccc |
| 20. | accccccccccccccccccac ⇒ acccccccccccccccccc |
| ... |
Collecting factors up to length 4 / frequency 7:
| [2/0] | cc | 153 | lf:153,rf:153,rs:17,a:3 |
|---|---|---|---|
| [2/1] | ac | 74 | lf:37,lp:18,ls:19,rf:19,rp:19,rs:2,re:2,lprp:18,lsrp:18,lprs:1,lsrs:1 |
| [2/2] | ca | 18 | lf:18,a:2 |
| [2/3] | aa | 2 | lf:1,lp:1,a:1 |
| [3/0] | ccc | 136 | lf:136,rf:136,rs:16,a:4 |
| [3/1] | cac | 36 | lf:18,ls:18,a:2 |
| [3/2] | acc | 34 | lf:17,lp:17,rf:17,rp:17,rs:1,re:1,lprp:17,lprs:1,a:3 |
| [3/3] | cca | 17 | lf:17,a:3 |
| [3/4] | aca | 2 | lf:1,lp:1,a:2 |
Considering [length 3 / frequency 1] cac=d.
Rewriting system is complete. See ⟨a, b, c | ba=ac, aac=a⟩.