Morphocompletion for #7013 ⟨a, b, c | ab=1, bbaca=c⟩

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

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bc ⇒ cb
2. cbc ⇒ ccb
3. ac ⇒ ca
4. cac ⇒ cca
5. bcb ⇒ cbb
6. ab ⇒ 1
7. acb ⇒ c
8. cba ⇒ c
9. bac ⇒ acb
10. aac ⇒ aca
11. acbb ⇒ cb
12. cbba ⇒ cb
13. cbbba ⇒ cbb
14. cbbbba ⇒ cbbb
15. cbbbbba ⇒ cbbbb
16. cbbbbbba ⇒ cbbbbb
...

Collecting factors up to length 4 / frequency 7:

[2/0]cb19lf:10,lp:7,ls:2,rf:10,rp:8,rs:5,re:3,lprp:5,lsrp:10,lprs:11,a:4
[2/1]bb17lf:16,ls:1,rf:11,rs:5,a:6
[2/2]ba14lf:7,lp:1,ls:6,a:4
[2/3]ac10lf:5,lp:2,ls:3,rf:2,rp:2,lsrp:20,a:4
[2/4]bc4lf:2,lp:1,ls:1,a:9
[2/5]aa2lf:1,lp:1,a:15
[2/6]ca2lf:1,lp:1,rf:3,rp:1,rs:3,re:1,lprs:10,a:11
[3/0]cbb12lf:6,lp:5,ls:1,rf:5,rp:5,rs:2,re:2,lprp:4,lprs:1,a:6
[3/1]bba10lf:5,ls:5,a:6
[3/2]bbb10lf:10,rf:6,rs:3,a:23
[3/3]acb2lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:4
[3/4]aca0rf:1,rp:1,rs:1,re:1,a:15
[3/5]cca0rf:1,rp:1,rs:1,re:1,a:11
[3/6]ccb0rf:1,rp:1,rs:1,re:1,a:9

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

Step 2

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