Morphocompletion for #5884 ⟨a, b, c | ab=a, bca=bc⟩

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

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	ab ⇒ a
2.	bcb ⇒ bc
3.	bca ⇒ bc
4.	acb ⇒ ac
5.	aca ⇒ ac
6.	bccb ⇒ bcc
7.	bcca ⇒ bcc
8.	accb ⇒ acc
9.	acca ⇒ acc
10.	bcccb ⇒ bccc
11.	bccca ⇒ bccc
12.	acccb ⇒ accc
13.	accca ⇒ accc
14.	bccccb ⇒ bcccc
15.	bcccca ⇒ bcccc
16.	accccb ⇒ acccc
17.	acccca ⇒ acccc
18.	bcccccb ⇒ bccccc
19.	bccccca ⇒ bccccc
20.	acccccb ⇒ accccc
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	cc	36	`lf:36,rf:36,rs:15,a:5`
[2/1]	bc	20	`lf:10,lp:10,rf:10,rp:10,rs:2,re:2,lprp:10,lprs:2,a:1`
[2/2]	cb	20	`lf:10,ls:10,a:3`
[2/3]	ac	18	`lf:9,lp:9,rf:9,rp:9,rs:2,re:2,lprp:9,lprs:2,a:2`
[2/4]	ca	18	`lf:9,ls:9,a:1`
[3/0]	ccc	21	`lf:21,rf:21,rs:11,a:9`
[3/1]	bcc	16	`lf:8,lp:8,rf:8,rp:8,rs:2,re:2,lprp:8,lprs:2,a:5`
[3/2]	ccb	16	`lf:8,ls:8,a:6`
[3/3]	acc	14	`lf:7,lp:7,rf:7,rp:7,rs:2,re:2,lprp:7,lprs:2,a:7`
[3/4]	cca	14	`lf:7,ls:7,a:5`

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

Step 2

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

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