Morphocompletion for #7039 ⟨a, b, c | ab=1, bbcca=c⟩

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

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ 1
2. bac ⇒ c
3. baac ⇒ ac
4. baaac ⇒ aac
5. bacb ⇒ cb
6. baacb ⇒ acb
7. baaacb ⇒ aacb
8. baaaacb ⇒ aaacb
9. cba ⇒ c
10. cbba ⇒ cb
11. cbbba ⇒ cbb
12. cc ⇒ aacb
13. caacb ⇒ aacbc
14. cbca ⇒ bbcaac
15. acbca ⇒ bcaac
16. aacbca ⇒ caac
...

Collecting factors up to length 4 / frequency 4:

[2/0]cb20lf:11,lp:4,ls:5,rf:8,rp:3,rs:6,re:2,lprp:2,lsrp:1,lprs:1,lsrs:4,a:5
[2/1]ba20lf:10,lp:7,ls:3,a:5
[2/2]ac14lf:10,lp:1,ls:3,rf:10,rp:2,rs:5,re:1,lsrp:1,lprs:1,lsrs:2,a:8
[2/3]aa12lf:11,lp:1,rf:9,rp:5,a:8
[3/0]acb13lf:7,lp:1,ls:5,rf:5,rp:1,rs:4,re:1,lsrp:1,lsrs:3,a:8
[3/1]aac10lf:7,lp:1,ls:2,rf:8,rp:4,rs:4,re:1,lsrp:1,lprs:1,lsrs:1,a:8
[3/2]baa10lf:5,lp:5,a:17
[3/3]bca6lf:3,ls:3,rf:2,rp:1,lsrp:1,a:14

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ 1
2. dba ⇒ d
3. bad ⇒ d
4. bdad ⇒ adb
5. aad ⇒ dada
6. dbba ⇒ db
7. adba ⇒ ad
8. dbbba ⇒ dbb
9. adbba ⇒ adb
10. adbbba ⇒ adbb
11. c ⇒ da
12. cd ⇒ dad
13. cb ⇒ d
14. cc ⇒ aad
...

Collecting factors up to length 6 / frequency 3:

[2/0]ba14lf:7,lp:1,ls:6,a:21
[2/1]ad12lf:6,lp:3,ls:3,rf:7,rp:4,rs:3,re:1,lprp:3,lsrp:1,lprs:1,a:5
[2/2]db9lf:6,lp:3,rf:5,rp:2,rs:3,re:1,lprp:2,lprs:1,a:13
[3/0]bba8lf:4,ls:4,a:25
[3/1]adb6lf:3,lp:3,rf:3,rp:3,rs:2,re:2,lprp:2,lprs:1,a:13
[3/2]dbb6lf:4,lp:2,rf:2,rp:1,rs:2,re:1,lprp:1,lprs:1,a:25
[4/0]bbba4lf:2,ls:2,a:26
[4/1]adbb4lf:2,lp:2,rf:1,rp:1,rs:1,re:1,lprp:1,lprs:1,a:25
[4/2]dbbb3lf:2,lp:1,a:26
[5/0]dbbba2lf:1,ls:1,a:26
[5/1]adbbb2lf:1,lp:1,a:26

Considering [length 4 / frequency 1] adbb=e.

Step 3

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