Morphocompletion for #5956 ⟨a, b, c | ab=a, cbc=bc⟩

Back:⟨a, b, c | ab=a, cbc=bc⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

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

Collecting factors up to length 4 / frequency 7:

[2/0]bb171lf:171,rf:171,rp:18,a:2
[2/1]bc38lf:19,ls:19,rf:19,rp:1,rs:19,re:1,lsrp:1,lsrs:19,a:1
[2/2]cb38lf:19,lp:19,a:1
[3/0]bbb153lf:153,rf:153,rp:17,a:3
[3/1]bbc36lf:18,ls:18,rf:18,rp:1,rs:18,re:1,lsrp:1,lsrs:18,a:2
[3/2]cbb36lf:18,lp:18,a:2

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

Step 2

Rewriting system is complete. See ⟨a, b, c | ab=a, cbc=bc⟩.