Morphocompletion for #5930 ⟨a, b, c | ab=a, cac=ca⟩

Back:⟨a, b, c | ab=a, cac=ca⟩

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 ⇒ a
2. cac ⇒ ca
3. caac ⇒ caa
4. caaac ⇒ caaa
5. caaaac ⇒ caaaa
6. caaaaac ⇒ caaaaa
7. caaaaaac ⇒ caaaaaa
8. caaaaaaac ⇒ caaaaaaa
9. caaaaaaaac ⇒ caaaaaaaa
10. caaaaaaaaac ⇒ caaaaaaaaa
11. caaaaaaaaaac ⇒ caaaaaaaaaa
12. caaaaaaaaaaac ⇒ caaaaaaaaaaa
13. caaaaaaaaaaaac ⇒ caaaaaaaaaaaa
14. caaaaaaaaaaaaac ⇒ caaaaaaaaaaaaa
15. caaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaa
16. caaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaa
17. caaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaa
18. caaaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaaa
19. caaaaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaaaa
20. caaaaaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaaaaa
...

Collecting factors up to length 4 / frequency 7:

[2/0]aa171lf:171,rf:171,rs:18,a:2
[2/1]ca38lf:19,lp:19,rf:19,rp:19,rs:1,re:1,lprp:19,lprs:1,a:1
[2/2]ac38lf:19,ls:19,a:1
[3/0]aaa153lf:153,rf:153,rs:17,a:3
[3/1]caa36lf:18,lp:18,rf:18,rp:18,rs:1,re:1,lprp:18,lprs:1,a:2
[3/2]aac36lf:18,ls:18,a:2

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

Step 2

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