Morphocompletion for #5570 ⟨a, b, c | ab=c, bacc=c⟩

Back:⟨a, b, c | ab=c, bacc=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 ⇒ c
2. bacc ⇒ c
3. cacc ⇒ ac
4. baac ⇒ acc
5. bcaac ⇒ accc
6. bccaac ⇒ acccc
7. bcccaac ⇒ accccc
8. bacac ⇒ ac
9. cacac ⇒ aac
10. aacc ⇒ caac
11. baaac ⇒ acac
12. bcaaac ⇒ accac
13. bccaaac ⇒ acccac
14. bacaac ⇒ aac
15. cacaac ⇒ aaac
16. aacac ⇒ caaac
17. baaaac ⇒ acaac
18. bcaaaac ⇒ accaac
19. bacaaac ⇒ aaac
20. cacaaac ⇒ aaaac
...

Collecting factors up to length 4 / frequency 7:

[2/0]ac42lf:26,ls:16,rf:23,rp:11,rs:14,re:2,lsrp:10,lsrs:12,a:1
[2/1]aa26lf:24,lp:2,rf:14,rp:5,a:4
[2/2]ca21lf:17,lp:4,rf:7,rp:2,a:2
[2/3]ba14lf:7,lp:7,a:1
[2/4]bc12lf:6,lp:6,a:12
[2/5]cc10lf:7,ls:3,rf:14,rs:4,a:1
[3/0]aac30lf:15,lp:2,ls:13,rf:9,rp:2,rs:9,re:2,lsrp:1,lprs:11,lsrs:6,a:4
[3/1]cac14lf:7,lp:4,ls:3,rf:3,rs:3,a:2
[3/2]caa10lf:10,rf:4,rp:2,a:6
[3/3]aaa9lf:9,rf:5,rp:3,a:8
[3/4]bac8lf:4,lp:4,a:1
[3/5]aca7lf:7,rf:2,rp:2,a:3
[3/6]baa6lf:3,lp:3,a:5

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

Step 2

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