Morphocompletion for #7030 ⟨a, b, c | ab=1, bbcaa=c⟩

Solved by morph:3/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	ab ⇒ 1
2.	cba ⇒ c
3.	aac ⇒ caa
4.	bca ⇒ acb
5.	bac ⇒ c
6.	bbc ⇒ cbb
7.	cbba ⇒ cb
8.	acbb ⇒ bc
9.	bcca ⇒ accb
10.	cbbba ⇒ cbb
11.	accbb ⇒ bcc
12.	bccca ⇒ acccb
13.	cbbbba ⇒ cbbb
14.	acccbb ⇒ bccc
15.	acbcbb ⇒ bcbc
16.	cbbbbba ⇒ cbbbb
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	bb	20	`lf:15,lp:1,ls:4,rf:7,rs:4,lprs:10,a:10`
[2/1]	cb	15	`lf:10,lp:5,rf:9,rp:5,rs:4,re:1,lprp:4,lprs:1,a:5`
[2/2]	ba	12	`lf:6,lp:1,ls:5,a:17`
[2/3]	ac	12	`lf:6,lp:4,ls:2,rf:3,rp:3,a:4`
[2/4]	bc	9	`lf:5,lp:3,ls:1,rf:5,rp:4,rs:2,re:1,a:5`
[2/5]	ca	6	`lf:3,ls:3,rf:1,rp:1,a:4`
[2/6]	cc	6	`lf:6,rf:6,rs:2,a:14`
[3/0]	cbb	16	`lf:8,lp:4,ls:4,rf:4,rp:4,rs:2,re:2,lprp:3,lprs:1,a:10`
[3/1]	bba	8	`lf:4,ls:4,a:19`
[3/2]	bbb	6	`lf:6,rf:3,rs:2,a:21`
[3/3]	bcc	4	`lf:2,lp:2,rf:2,rp:2,rs:1,re:1,a:14`
[3/4]	acb	4	`lf:2,lp:2,rf:1,rp:1,rs:1,re:1,a:5`
[3/5]	acc	4	`lf:2,lp:2,rf:2,rp:2,a:14`
[3/6]	cca	4	`lf:2,ls:2,a:15`

Considering [length 3 / frequency 0] cbb=d.

Step 2

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

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