Morphocompletion for #7051 ⟨a, b, c | ab=1, bcaca=c⟩

Back:⟨a, b, c | ab=1, bcaca=c⟩

Solved by morph:2/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ 1
2. cba ⇒ c
3. bac ⇒ c
4. acb ⇒ cac
5. caca ⇒ ac
6. cbba ⇒ cb
7. caac ⇒ acca
8. baac ⇒ ac
9. bcac ⇒ cb
10. cbbba ⇒ cbb
11. baaac ⇒ aac
12. bccac ⇒ cbb
13. baaaac ⇒ aaac
14. ccaaac ⇒ acccaa
15. bcaaac ⇒ caccaa
16. caccac ⇒ accb
17. bcccac ⇒ cbbb
18. caaacc ⇒ aaccca
19. acaccaa ⇒ caaac
...

Collecting factors up to length 4 / frequency 7:

[2/0]ac30lf:17,lp:2,ls:11,rf:11,rp:5,rs:6,re:2,lsrp:4,lprs:11,lsrs:3,a:2
[2/1]ca18lf:13,lp:4,ls:1,rf:7,rp:3,rs:2,lprs:2,a:2
[2/2]aa15lf:14,ls:1,rf:8,rp:3,rs:2,a:6
[2/3]ba14lf:7,lp:4,ls:3,a:9
[2/4]cc9lf:7,lp:1,ls:1,rf:7,a:6
[2/5]cb8lf:4,lp:3,ls:1,rf:6,rp:5,rs:3,re:2,lprp:2,lprs:1,a:3
[2/6]bc8lf:4,lp:4,a:3
[3/0]cac13lf:7,lp:2,ls:4,rf:2,rp:2,rs:1,re:1,a:2
[3/1]aac13lf:7,ls:6,rf:4,rp:2,rs:3,re:1,lsrp:1,lsrs:2,a:6
[3/2]caa8lf:5,lp:2,ls:1,rf:3,rp:1,rs:2,lsrp:1,a:6
[3/3]cca6lf:5,lp:1,rf:4,rs:2,a:6
[3/4]baa6lf:3,lp:3,a:12
[3/5]aaa6lf:6,rf:2,rp:1,a:13
[3/6]cbb4lf:2,lp:2,rf:3,rp:3,rs:2,re:2,lprp:1,lprs:1,a:11

Considering [length 2 / frequency 0] ac=d.

Step 2

Rewriting system is complete. See ⟨a, b, c | ab=1, bcaca=c⟩.