Morphocompletion for #5895 ⟨a, b, c | ab=a, bcb=cb⟩

Back:⟨a, b, c | ab=a, bcb=cb⟩

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. bcb ⇒ cb
3. bccb ⇒ ccb
4. bcccb ⇒ cccb
5. bccccb ⇒ ccccb
6. bcccccb ⇒ cccccb
7. bccccccb ⇒ ccccccb
8. bcccccccb ⇒ cccccccb
9. bccccccccb ⇒ ccccccccb
10. bcccccccccb ⇒ cccccccccb
11. bccccccccccb ⇒ ccccccccccb
12. bcccccccccccb ⇒ cccccccccccb
13. bccccccccccccb ⇒ ccccccccccccb
14. bcccccccccccccb ⇒ cccccccccccccb
15. bccccccccccccccb ⇒ ccccccccccccccb
16. bcccccccccccccccb ⇒ cccccccccccccccb
17. bccccccccccccccccb ⇒ ccccccccccccccccb
18. bcccccccccccccccccb ⇒ cccccccccccccccccb
19. bccccccccccccccccccb ⇒ ccccccccccccccccccb
20. bcccccccccccccccccccb ⇒ cccccccccccccccccccb
...

Collecting factors up to length 4 / frequency 7:

[2/0]cc171lf:171,rf:171,rp:18,a:2
[2/1]cb38lf:19,ls:19,rf:19,rp:1,rs:19,re:1,lsrp:1,lsrs:19,a:1
[2/2]bc38lf:19,lp:19,a:1
[3/0]ccc153lf:153,rf:153,rp:17,a:3
[3/1]ccb36lf:18,ls:18,rf:18,rp:1,rs:18,re:1,lsrp:1,lsrs:18,a:2
[3/2]bcc36lf:18,lp:18,a:2

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

Step 2

Rewriting system is complete. See ⟨a, b, c | ab=a, bcb=cb⟩.