Morphocompletion for #1848 ⟨a, b, c | aba=ba, caa=1⟩

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.	aba ⇒ ba
2.	caa ⇒ 1
3.	cba ⇒ ba
4.	abba ⇒ bba
5.	cbba ⇒ bba
6.	abbba ⇒ bbba
7.	cbbba ⇒ bbba
8.	abbbba ⇒ bbbba
9.	cbbbba ⇒ bbbba
10.	abbbbba ⇒ bbbbba
11.	cbbbbba ⇒ bbbbba
12.	abbbbbba ⇒ bbbbbba
13.	cbbbbbba ⇒ bbbbbba
14.	abbbbbbba ⇒ bbbbbbba
15.	cbbbbbbba ⇒ bbbbbbba
16.	abbbbbbbba ⇒ bbbbbbbba
17.	cbbbbbbbba ⇒ bbbbbbbba
18.	abbbbbbbbba ⇒ bbbbbbbbba
19.	cbbbbbbbbba ⇒ bbbbbbbbba
20.	abbbbbbbbbba ⇒ bbbbbbbbbba
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	bb	81	`lf:81,rf:81,rp:17,a:2`
[2/1]	ba	38	`lf:19,ls:19,rf:19,rp:2,rs:19,re:2,lsrp:2,lsrs:19`
[2/2]	ab	20	`lf:10,lp:10`
[2/3]	cb	18	`lf:9,lp:9,a:3`
[2/4]	ca	2	`lf:1,lp:1,a:1`
[2/5]	aa	2	`lf:1,ls:1,a:1`
[3/0]	bbb	64	`lf:64,rf:64,rp:15,a:5`
[3/1]	bba	34	`lf:17,ls:17,rf:17,rp:2,rs:17,re:2,lsrp:2,lsrs:17,a:2`
[3/2]	abb	18	`lf:9,lp:9,a:2`
[3/3]	cbb	16	`lf:8,lp:8,a:4`

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

Step 2

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

Rewriting system is complete. See ⟨a, b, c | aba=ba, caa=1⟩.