Morphocompletion for #5965 ⟨a, b, c | ab=a, cca=bc⟩

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

Step 1

Checking up to 20 rules for overlaps.

Reduction order:
- Left-to-right shortlex with a < b < c

Rewriting system is not complete: roundsLimit

#	Rule
1.	ab ⇒ a
2.	acb ⇒ ac
3.	bcb ⇒ bc
4.	cca ⇒ bc
5.	accb ⇒ acc
6.	bccb ⇒ bcc
7.	acccb ⇒ accc
8.	bcccb ⇒ bccc
9.	accccb ⇒ acccc
10.	bccccb ⇒ bcccc
11.	acccccb ⇒ accccc
12.	bcccccb ⇒ bccccc
13.	accccccb ⇒ acccccc
14.	bccccccb ⇒ bcccccc
15.	acccccccb ⇒ accccccc
16.	bcccccccb ⇒ bccccccc
17.	accccccccb ⇒ acccccccc
18.	bccccccccb ⇒ bcccccccc
19.	acccccccccb ⇒ accccccccc
20.	bcccccccccb ⇒ bccccccccc
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	cc	74	`lf:73,lp:1,rf:72,rs:16,a:1`
[2/1]	cb	36	`lf:18,ls:18,a:2`
[2/2]	bc	18	`lf:9,lp:9,rf:10,rp:10,rs:2,re:2,lprp:9,lprs:1,a:1`
[2/3]	ac	18	`lf:9,lp:9,rf:9,rp:9,rs:1,re:1,lprp:9,lprs:1,a:3`
[2/4]	ca	2	`lf:1,ls:1,a:1`
[3/0]	ccc	56	`lf:56,rf:56,rs:14,a:6`
[3/1]	ccb	32	`lf:16,ls:16,a:4`
[3/2]	bcc	16	`lf:8,lp:8,rf:8,rp:8,rs:1,re:1,lprp:8,lprs:1,a:4`
[3/3]	acc	16	`lf:8,lp:8,rf:8,rp:8,rs:1,re:1,lprp:8,lprs:1,a:5`

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

Step 2

Auxiliary generators:
1. d = cb
Reduction order:
- Left-to-right shortlex with a < b < d < c

Rewriting system is complete. See ⟨a, b, c | ab=a, cca=bc⟩.