Morphocompletion for #5893 ⟨a, b, c | ab=a, bcb=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.	accb ⇒ acc
5.	bccb ⇒ bcc
6.	acccb ⇒ accc
7.	bcccb ⇒ bccc
8.	accccb ⇒ acccc
9.	bccccb ⇒ bcccc
10.	acccccb ⇒ accccc
11.	bcccccb ⇒ bccccc
12.	accccccb ⇒ acccccc
13.	bccccccb ⇒ bcccccc
14.	acccccccb ⇒ accccccc
15.	bcccccccb ⇒ bccccccc
16.	accccccccb ⇒ acccccccc
17.	bccccccccb ⇒ bcccccccc
18.	acccccccccb ⇒ accccccccc
19.	bcccccccccb ⇒ bccccccccc
20.	accccccccccb ⇒ acccccccccc
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	cc	81	`lf:81,rf:81,rs:17,a:3`
[2/1]	cb	38	`lf:19,ls:19,a:1`
[2/2]	ac	20	`lf:10,lp:10,rf:10,rp:10,rs:1,re:1,lprp:10,lprs:1,a:2`
[2/3]	bc	18	`lf:9,lp:9,rf:9,rp:9,rs:1,re:1,lprp:9,lprs:1,a:1`
[3/0]	ccc	64	`lf:64,rf:64,rs:15,a:5`
[3/1]	ccb	34	`lf:17,ls:17,a:3`
[3/2]	acc	18	`lf:9,lp:9,rf:9,rp:9,rs:1,re:1,lprp:9,lprs:1,a:4`
[3/3]	bcc	16	`lf:8,lp:8,rf:8,rp:8,rs:1,re:1,lprp:8,lprs:1,a:3`

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, bcb=bc⟩.