Morphocompletion for #4651 ⟨a, b, c | aa=a, bbccb=1⟩

Solved by morph:3/0. (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.	aa ⇒ a
2.	ccb ⇒ bcc
3.	cbbb ⇒ bbbc
4.	bbbcc ⇒ 1
5.	bbbcbcc ⇒ cb
6.	bbbcbbcc ⇒ cbb
7.	bbbcbcbcc ⇒ cbcb
8.	bbbcbbcbcc ⇒ cbbcb
9.	bbbcbcbbcc ⇒ cbcbb
10.	bbbcbbcbbcc ⇒ cbbcbb
11.	bbbcbcbcbcc ⇒ cbcbcb
12.	bbbcbbcbcbcc ⇒ cbbcbcb
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	bb	36	`lf:26,lp:9,ls:1,rf:8,rp:1,rs:3,lsrp:1,lprs:3,a:4`
[2/1]	bc	25	`lf:25,rf:10,rp:1,rs:1,a:3`
[2/2]	cc	20	`lf:10,lp:1,ls:9,rf:1,rs:1,lprs:10,a:3`
[2/3]	cb	20	`lf:18,lp:1,ls:1,rf:16,rp:8,rs:5,re:1,a:3`
[3/0]	bbb	20	`lf:10,lp:9,ls:1,rf:1,rp:1,lsrp:10,a:4`
[3/1]	bcc	18	`lf:9,ls:9,rf:1,rp:1,rs:1,re:1,a:3`
[3/2]	bcb	16	`lf:16,rf:8,rs:4,a:5`
[3/3]	bbc	15	`lf:15,rf:4,rs:1,a:4`
[3/4]	cbc	10	`lf:10,rf:5,rp:3,a:5`
[3/5]	cbb	8	`lf:7,lp:1,rf:6,rp:4,rs:3,re:1,a:6`

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

Step 2

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

Rewriting system is complete. See ⟨a, b, c | aa=a, bbccb=1⟩.