Morphocompletion for #5820 ⟨a, b, c | ab=a, aca=ca⟩

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

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. ab ⇒ a
2. aca ⇒ ca
3. acca ⇒ cca
4. accca ⇒ ccca
5. acccca ⇒ cccca
6. accccca ⇒ ccccca
7. acccccca ⇒ cccccca
8. accccccca ⇒ ccccccca
9. acccccccca ⇒ cccccccca
10. accccccccca ⇒ ccccccccca
11. acccccccccca ⇒ cccccccccca
12. accccccccccca ⇒ ccccccccccca
13. acccccccccccca ⇒ cccccccccccca
14. accccccccccccca ⇒ ccccccccccccca
15. acccccccccccccca ⇒ cccccccccccccca
16. accccccccccccccca ⇒ ccccccccccccccca
17. acccccccccccccccca ⇒ cccccccccccccccca
18. accccccccccccccccca ⇒ ccccccccccccccccca
19. acccccccccccccccccca ⇒ cccccccccccccccccca
20. accccccccccccccccccca ⇒ ccccccccccccccccccca
...

Collecting factors up to length 4 / frequency 7:

[2/0]cc171lf:171,rf:171,rp:18,a:2
[2/1]ca38lf:19,ls:19,rf:19,rp:1,rs:19,re:1,lsrp:1,lsrs:19,a:1
[2/2]ac38lf:19,lp:19,a:1
[3/0]ccc153lf:153,rf:153,rp:17,a:3
[3/1]cca36lf:18,ls:18,rf:18,rp:1,rs:18,re:1,lsrp:1,lsrs:18,a:2
[3/2]acc36lf:18,lp:18,a:2

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

Step 2

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