Morphocompletion for #5622 ⟨a, b, c | aa=a, abb=ca⟩

Back:⟨a, b, c | aa=a, abb=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. aa ⇒ a
2. aca ⇒ ca
3. abb ⇒ ca
4. acca ⇒ cca
5. accca ⇒ ccca
6. acccca ⇒ cccca
7. accccca ⇒ ccccca
8. acccccca ⇒ cccccca
9. accccccca ⇒ ccccccca
10. acccccccca ⇒ cccccccca
11. accccccccca ⇒ ccccccccca
12. acccccccccca ⇒ cccccccccca
13. accccccccccca ⇒ ccccccccccca
14. acccccccccccca ⇒ cccccccccccca
15. accccccccccccca ⇒ ccccccccccccca
16. acccccccccccccca ⇒ cccccccccccccca
17. accccccccccccccca ⇒ ccccccccccccccca
18. acccccccccccccccca ⇒ cccccccccccccccca
19. accccccccccccccccca ⇒ ccccccccccccccccca
20. acccccccccccccccccca ⇒ cccccccccccccccccca
...

Collecting factors up to length 4 / frequency 7:

[2/0]cc153lf:153,rf:153,rp:17,a:3
[2/1]ac36lf:18,lp:18,a:2
[2/2]ca36lf:18,ls:18,rf:19,rp:2,rs:19,re:2,lsrp:1,lsrs:18,a:1
[2/3]bb2lf:1,ls:1,a:1
[2/4]ab2lf:1,lp:1,a:1
[3/0]ccc136lf:136,rf:136,rp:16,a:4
[3/1]acc34lf:17,lp:17,a:3
[3/2]cca34lf:17,ls:17,rf:17,rp:1,rs:17,re:1,lsrp:1,lsrs:17,a:3

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

Step 2

Rewriting system is complete. See ⟨a, b, c | aa=a, abb=ca⟩.