Morphocompletion for #7591 ⟨a, b, c | ab=1, cacc=ac⟩

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

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ 1
2. caac ⇒ aacc
3. cacc ⇒ ac
4. caaac ⇒ aacac
5. cacac ⇒ aac
6. caaaac ⇒ aaaacc
7. caaaaac ⇒ aaaacac
8. caaaaaac ⇒ aaaaaacc
9. caaaaaaac ⇒ aaaaaacac
10. caaaaaaaac ⇒ aaaaaaaacc
11. caaaaaaaaac ⇒ aaaaaaaacac
12. caaaaaaaaaac ⇒ aaaaaaaaaacc
13. caaaaaaaaaaac ⇒ aaaaaaaaaacac
14. caaaaaaaaaaaac ⇒ aaaaaaaaaaaacc
15. caaaaaaaaaaaaac ⇒ aaaaaaaaaaaacac
16. caaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaacc
17. caaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaacac
18. caaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaacc
19. caaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaacac
20. caaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaaacc
...

Collecting factors up to length 4 / frequency 7:

[2/0]aa153lf:153,rf:146,rp:18,a:2
[2/1]ca39lf:20,lp:19,rf:8,a:1
[2/2]ac38lf:20,ls:18,rf:27,rp:1,rs:10,re:1,lsrs:9,a:1
[2/3]cc2lf:1,ls:1,rf:9,rs:9,a:1
[3/0]aaa136lf:136,rf:128,rp:15,a:5
[3/1]caa34lf:17,lp:17,a:4
[3/2]aac34lf:17,ls:17,rf:18,rp:3,rs:1,re:1,lsrp:11,a:2
[3/3]cac6lf:3,lp:2,ls:1,rf:8,rs:8,a:1
[3/4]acc2lf:1,ls:1,rf:9,rs:9,a:1
[3/5]aca1lf:1,rf:8,a:2

Considering [length 2 / frequency 1] ca=d.

Step 2

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