Morphocompletion for #564 ⟨a, b, c | ca=bc, cc=c⟩

Back:⟨a, b, c | ca=bc, cc=c⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ca ⇒ bc
2. cc ⇒ c
3. cbc ⇒ bc
4. cbbc ⇒ bbc
5. cbbbc ⇒ bbbc
6. cbbbbc ⇒ bbbbc
7. cbbbbbc ⇒ bbbbbc
8. cbbbbbbc ⇒ bbbbbbc
9. cbbbbbbbc ⇒ bbbbbbbc
10. cbbbbbbbbc ⇒ bbbbbbbbc
11. cbbbbbbbbbc ⇒ bbbbbbbbbc
12. cbbbbbbbbbbc ⇒ bbbbbbbbbbc
13. cbbbbbbbbbbbc ⇒ bbbbbbbbbbbc
14. cbbbbbbbbbbbbc ⇒ bbbbbbbbbbbbc
15. cbbbbbbbbbbbbbc ⇒ bbbbbbbbbbbbbc
16. cbbbbbbbbbbbbbbc ⇒ bbbbbbbbbbbbbbc
17. cbbbbbbbbbbbbbbbc ⇒ bbbbbbbbbbbbbbbc
18. cbbbbbbbbbbbbbbbbc ⇒ bbbbbbbbbbbbbbbbc
19. cbbbbbbbbbbbbbbbbbc ⇒ bbbbbbbbbbbbbbbbbc
20. cbbbbbbbbbbbbbbbbbbc ⇒ bbbbbbbbbbbbbbbbbbc
...

Collecting factors up to length 4 / frequency 7:

[2/0]bb153lf:153,rf:153,rp:17,a:3
[2/1]cb36lf:18,lp:18,a:2
[2/2]bc36lf:18,ls:18,rf:19,rp:2,rs:19,re:2,lsrp:1,lsrs:18
[3/0]bbb136lf:136,rf:136,rp:16,a:4
[3/1]cbb34lf:17,lp:17,a:3
[3/2]bbc34lf:17,ls:17,rf:17,rp:1,rs:17,re:1,lsrp:1,lsrs:17,a:3

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

Step 2

Rewriting system is complete. See ⟨a, b, c | ca=bc, cc=c⟩.