Morphocompletion for #5708 ⟨a, b, c | aa=b, acb=cb⟩

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

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	ab ⇒ ba
2.	aa ⇒ b
3.	bcb ⇒ cb
4.	acb ⇒ cb
5.	bccb ⇒ ccb
6.	accb ⇒ ccb
7.	bcccb ⇒ cccb
8.	acccb ⇒ cccb
9.	bccccb ⇒ ccccb
10.	accccb ⇒ ccccb
11.	bcccccb ⇒ cccccb
12.	acccccb ⇒ cccccb
13.	bccccccb ⇒ ccccccb
14.	accccccb ⇒ ccccccb
15.	bcccccccb ⇒ cccccccb
16.	acccccccb ⇒ cccccccb
17.	bccccccccb ⇒ ccccccccb
18.	accccccccb ⇒ ccccccccb
19.	bcccccccccb ⇒ cccccccccb
20.	acccccccccb ⇒ cccccccccb
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	cc	72	`lf:72,rf:72,rp:16,a:4`
[2/1]	cb	36	`lf:18,ls:18,rf:18,rp:2,rs:18,re:2,lsrp:2,lsrs:18,a:1`
[2/2]	ac	18	`lf:9,lp:9,a:1`
[2/3]	bc	18	`lf:9,lp:9,a:3`
[2/4]	ba	0	`rf:1,rp:1,rs:1,re:1,a:2`
[3/0]	ccc	56	`lf:56,rf:56,rp:14,a:6`
[3/1]	ccb	32	`lf:16,ls:16,rf:16,rp:2,rs:16,re:2,lsrp:2,lsrs:16,a:4`
[3/2]	acc	16	`lf:8,lp:8,a:4`
[3/3]	bcc	16	`lf:8,lp:8,a:5`

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

Step 2

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

Rewriting system is complete. See ⟨a, b, c | aa=b, acb=cb⟩.