Morphocompletion for #827 ⟨a, b, c | ab=a, cbbc=1⟩

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

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ a
2. cbb ⇒ bbc
3. acc ⇒ a
4. bbcc ⇒ 1
5. ccb ⇒ bcc
6. acbcc ⇒ acb
7. bbcbcc ⇒ cb
8. acbcbcc ⇒ acbcb
9. bbcbcbcc ⇒ cbcb
10. acbcbcbcc ⇒ acbcbcb
11. bbcbcbcbcc ⇒ cbcbcb
12. acbcbcbcbcc ⇒ acbcbcbcb
13. bbcbcbcbcbcc ⇒ cbcbcbcb
14. acbcbcbcbcbcc ⇒ acbcbcbcbcb
15. bbcbcbcbcbcbcc ⇒ cbcbcbcbcb
16. acbcbcbcbcbcbcc ⇒ acbcbcbcbcbcb
17. bbcbcbcbcbcbcbcc ⇒ cbcbcbcbcbcb
18. acbcbcbcbcbcbcbcc ⇒ acbcbcbcbcbcbcb
19. bbcbcbcbcbcbcbcbcc ⇒ cbcbcbcbcbcbcb
...

Collecting factors up to length 4 / frequency 7:

[2/0]bc64lf:64,rf:44,rp:1,rs:1,a:2
[2/1]cb60lf:58,lp:1,ls:1,rf:56,rp:7,rs:14,re:1,a:2
[2/2]cc34lf:17,lp:1,ls:16,rf:1,rs:1,lprs:10,a:3
[2/3]bb18lf:9,lp:8,ls:1,rf:1,rp:1,lsrp:10,a:2
[2/4]ac16lf:8,lp:8,rf:7,rp:7,lprp:7,a:4
[3/0]cbc56lf:56,rf:42,rp:6,a:5
[3/1]bcb49lf:49,rf:42,rs:12,a:5
[3/2]bcc30lf:15,ls:15,rf:1,rp:1,rs:1,re:1,a:3
[3/3]bbc16lf:8,lp:8,rf:1,rp:1,rs:1,re:1,a:2
[3/4]acb14lf:7,lp:7,rf:7,rp:7,rs:1,re:1,lprp:7,lprs:1,a:6

Considering [length 2 / frequency 0] bc=d.

Step 2

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