Morphocompletion for #7054 ⟨a, b, c | ab=1, bcacc=c⟩

Back:⟨a, b, c | ab=1, bcacc=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. bac ⇒ c
3. baac ⇒ ac
4. cacc ⇒ ac
5. bcaac ⇒ acc
6. aacc ⇒ caac
7. baaac ⇒ aac
8. bccaac ⇒ accc
9. cacac ⇒ aac
10. bcaaac ⇒ acac
11. aacac ⇒ caaac
12. baaaac ⇒ aaac
13. bcccaac ⇒ acccc
14. bccaaac ⇒ accac
15. cacaac ⇒ aaac
16. bcaaaac ⇒ acaac
17. aacaac ⇒ caaaac
18. baaaaac ⇒ aaaac
19. bccccaac ⇒ accccc
...

Collecting factors up to length 4 / frequency 7:

[2/0]ac38lf:22,ls:16,rf:20,rp:9,rs:13,re:2,lsrp:8,lsrs:11,a:2
[2/1]aa29lf:26,lp:3,rf:16,rp:5,a:3
[2/2]ca17lf:14,lp:3,rf:6,rp:3,a:2
[2/3]bc14lf:7,lp:7,a:12
[2/4]cc11lf:9,ls:2,rf:11,rs:4,a:2
[2/5]ba10lf:5,lp:5,a:3
[3/0]aac32lf:16,lp:3,ls:13,rf:9,rp:2,rs:9,re:2,lsrp:1,lprs:12,lsrs:6,a:3
[3/1]aaa10lf:10,rf:7,rp:3,a:6
[3/2]cac10lf:5,lp:3,ls:2,rf:2,rs:2,a:2
[3/3]caa9lf:9,rf:4,rp:3,a:6
[3/4]baa8lf:4,lp:4,a:3
[3/5]bcc8lf:4,lp:4,a:15
[3/6]bca6lf:3,lp:3,a:12

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

Step 2

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