Morphocompletion for #7705 ⟨a, b, c | aa=1, cbc=bcb⟩

Back:⟨a, b, c | aa=1, cbc=bcb⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: workTotalLimit

#Rule
1. aa ⇒ 1
2. cbc ⇒ bcb
3. cbbcb ⇒ bcbbc
4. cbbbcb ⇒ bcbbcc
5. cbbbbcb ⇒ bcbbccc
6. cbbbbbcb ⇒ bcbbcccc
7. cbbbbbbcb ⇒ bcbbccccc
8. cbbbbbbbcb ⇒ bcbbcccccc
9. cbbbbbbbbcb ⇒ bcbbccccccc
10. cbbbbbbbbbcb ⇒ bcbbcccccccc
11. cbbbbbbbbbbcb ⇒ bcbbccccccccc
12. cbbbbbbbbbbbcb ⇒ bcbbcccccccccc
13. cbbbbbbbbbbbbcb ⇒ bcbbccccccccccc
14. cbbbbbbbbbbbbbcb ⇒ bcbbcccccccccccc
15. cbbbbbbbbbbbbbbcb ⇒ bcbbccccccccccccc
...

Collecting factors up to length 4 / frequency 7:

[2/0]bb91lf:91,rf:13,a:2
[2/1]cb54lf:27,lp:14,ls:13,rf:14,rs:1,lprs:10,a:1
[2/2]bc15lf:14,ls:1,rf:27,rp:14,rs:1,lsrp:10,a:1
[2/3]cc0rf:78,rs:12,a:4
[3/0]bbb78lf:78,a:4
[3/1]cbb26lf:13,lp:13,rf:13,a:2
[3/2]bcb26lf:13,ls:13,rf:14,rp:14,rs:1,re:1,lsrp:13,a:1
[3/3]bbc13lf:13,rf:13,rs:1,a:2
[3/4]ccc0rf:66,rs:11,a:6
[3/5]bcc0rf:12,rs:1,a:4

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

Step 2

Rewriting system is complete. See ⟨a, b, c | aa=1, cbc=bcb⟩.