Morphocompletion for #5958 ⟨a, b, c | ab=a, cbc=cb⟩

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

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 ⇒ cb
3. cbbc ⇒ cbb
4. cbbbc ⇒ cbbb
5. cbbbbc ⇒ cbbbb
6. cbbbbbc ⇒ cbbbbb
7. cbbbbbbc ⇒ cbbbbbb
8. cbbbbbbbc ⇒ cbbbbbbb
9. cbbbbbbbbc ⇒ cbbbbbbbb
10. cbbbbbbbbbc ⇒ cbbbbbbbbb
11. cbbbbbbbbbbc ⇒ cbbbbbbbbbb
12. cbbbbbbbbbbbc ⇒ cbbbbbbbbbbb
13. cbbbbbbbbbbbbc ⇒ cbbbbbbbbbbbb
14. cbbbbbbbbbbbbbc ⇒ cbbbbbbbbbbbbb
15. cbbbbbbbbbbbbbbc ⇒ cbbbbbbbbbbbbbb
16. cbbbbbbbbbbbbbbbc ⇒ cbbbbbbbbbbbbbbb
17. cbbbbbbbbbbbbbbbbc ⇒ cbbbbbbbbbbbbbbbb
18. cbbbbbbbbbbbbbbbbbc ⇒ cbbbbbbbbbbbbbbbbb
19. cbbbbbbbbbbbbbbbbbbc ⇒ cbbbbbbbbbbbbbbbbbb
20. cbbbbbbbbbbbbbbbbbbbc ⇒ cbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 4 / frequency 7:

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

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

Step 2

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