Morphocompletion for #1366 ⟨a, b, c | ab=1, bcca=c⟩

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

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. cca ⇒ ac
2. cb ⇒ bcc
3. ab ⇒ 1
4. bac ⇒ c
5. baac ⇒ ac
6. baaac ⇒ aac
7. baaaac ⇒ aaac
8. baaaaac ⇒ aaaac
9. baaaaaac ⇒ aaaaac
10. baaaaaaac ⇒ aaaaaac
11. baaaaaaaac ⇒ aaaaaaac
12. baaaaaaaaac ⇒ aaaaaaaac
13. baaaaaaaaaac ⇒ aaaaaaaaac
...

Collecting factors up to length 4 / frequency 7:

[2/0]aa45lf:45,rf:36,rp:8,a:5
[2/1]ba20lf:10,lp:10,a:4
[2/2]ac20lf:10,ls:10,rf:10,rp:2,rs:10,re:2,lsrp:1,lsrs:9,a:2
[2/3]ca2lf:1,ls:1,a:2
[2/4]cc2lf:1,lp:1,rf:1,rs:1,a:2
[2/5]bc0rf:1,rp:1,a:3
[3/0]aaa36lf:36,rf:28,rp:7,a:6
[3/1]baa18lf:9,lp:9,a:5
[3/2]aac18lf:9,ls:9,rf:8,rp:1,rs:8,re:1,lsrp:1,lsrs:8,a:5
[3/3]bcc0rf:1,rp:1,rs:1,re:1,a:3

Considering [length 2 / frequency 2] ac=d.

Step 2

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