| Back: | ⟨a, b, c | ab=1, acba=ac⟩ |
|---|
Solved by morph:2/1. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaWorkLimit
| # | Rule |
|---|---|
| 1. | ab ⇒ 1 |
| 2. | acba ⇒ ac |
| 3. | accba ⇒ acc |
| 4. | acccba ⇒ accc |
| 5. | accccba ⇒ acccc |
| 6. | acccccba ⇒ accccc |
| 7. | accccccba ⇒ acccccc |
| 8. | acccccccba ⇒ accccccc |
| 9. | accccccccba ⇒ acccccccc |
| 10. | acccccccccba ⇒ accccccccc |
| 11. | accccccccccba ⇒ acccccccccc |
| 12. | acccccccccccba ⇒ accccccccccc |
| 13. | accccccccccccba ⇒ acccccccccccc |
| 14. | acccccccccccccba ⇒ accccccccccccc |
| 15. | accccccccccccccba ⇒ acccccccccccccc |
| 16. | acccccccccccccccba ⇒ accccccccccccccc |
| 17. | accccccccccccccccba ⇒ acccccccccccccccc |
| 18. | acccccccccccccccccba ⇒ accccccccccccccccc |
| 19. | accccccccccccccccccba ⇒ acccccccccccccccccc |
| 20. | acccccccccccccccccccba ⇒ accccccccccccccccccc |
| ... |
Collecting factors up to length 4 / frequency 7:
| [2/0] | cc | 171 | lf:171,rf:171,rs:18,a:2 |
|---|---|---|---|
| [2/1] | ac | 38 | lf:19,lp:19,rf:19,rp:19,rs:1,re:1,lprp:19,lprs:1,a:1 |
| [2/2] | ba | 38 | lf:19,ls:19,a:1 |
| [2/3] | cb | 19 | lf:19,a:1 |
| [3/0] | ccc | 153 | lf:153,rf:153,rs:17,a:3 |
| [3/1] | cba | 38 | lf:19,ls:19,a:1 |
| [3/2] | acc | 36 | lf:18,lp:18,rf:18,rp:18,rs:1,re:1,lprp:18,lprs:1,a:2 |
| [3/3] | ccb | 18 | lf:18,a:2 |
| [3/4] | acb | 2 | lf:1,lp:1,a:1 |
Considering [length 2 / frequency 1] ac=d.
Rewriting system is complete. See ⟨a, b, c | ab=1, acba=ac⟩.