Morphocompletion for #7255 ⟨a, b, c | aa=1, bbcb=bc⟩

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

Step 1

Checking up to 20 rules for overlaps.

Reduction order:
- Left-to-right recursive path with deg(a) = deg(b) = 0, a < b; deg(c) = 1

Rewriting system is not complete: roundsLimit

#	Rule
1.	aa ⇒ 1
2.	bbcb ⇒ bc
3.	bcbcb ⇒ bcc
4.	bbcc ⇒ bccb
5.	bccbcb ⇒ bccc
6.	bcbcc ⇒ bcccb
7.	bcccbcb ⇒ bcccc
8.	bccbcc ⇒ bccccb
9.	bccccbcb ⇒ bccccc
10.	bcccbcc ⇒ bcccccb
11.	bcccccbcb ⇒ bcccccc
12.	bccccbcc ⇒ bccccccb
13.	bccccccbcb ⇒ bccccccc
14.	bcccccbcc ⇒ bcccccccb
15.	bcccccccbcb ⇒ bcccccccc
16.	bccccccbcc ⇒ bccccccccb
17.	bccccccccbcb ⇒ bccccccccc
18.	bcccccccbcc ⇒ bcccccccccb
19.	bcccccccccbcb ⇒ bcccccccccc
20.	bccccccccbcc ⇒ bccccccccccb
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	cc	82	`lf:73,ls:9,rf:90,rs:9,a:2`
[2/1]	bc	53	`lf:36,lp:17,rf:19,rp:19,rs:1,re:1,lprp:17,a:1`
[2/2]	cb	37	`lf:27,ls:10,rf:9,rs:9,a:1`
[2/3]	bb	4	`lf:2,lp:2,a:1`
[3/0]	ccc	49	`lf:49,rf:72,rs:8,a:4`
[3/1]	bcc	48	`lf:24,lp:15,ls:9,rf:18,rp:18,rs:1,re:1,lprp:15,lsrp:18,a:2`
[3/2]	bcb	24	`lf:12,lp:2,ls:10,a:1`
[3/3]	cbc	17	`lf:17,a:2`
[3/4]	ccb	15	`lf:15,rf:9,rs:9,a:3`
[3/5]	bbc	4	`lf:2,lp:2,a:1`

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

Step 2

Auxiliary generators:
1. d = bc
Reduction order:
- Left-to-right recursive path with deg(a) = deg(b) = deg(d) = 0, a < b < d; deg(c) = 1

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