Morphocompletion for #2606 ⟨a, b, c | aba=b, acbb=1⟩

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

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	aba ⇒ b
2.	acbb ⇒ 1
3.	cabb ⇒ 1
4.	bba ⇒ abb
5.	bcbb ⇒ ab
6.	cbbb ⇒ ba
7.	caabb ⇒ a
8.	acbab ⇒ cbb
9.	cbabb ⇒ baa
10.	bcbab ⇒ aab
11.	caaabb ⇒ aa
12.	acbaab ⇒ cbab
13.	cbaabb ⇒ baaa
14.	bcbaab ⇒ aaab
15.	caaaabb ⇒ aaa
16.	acbaaab ⇒ cbaab
17.	cbaaabb ⇒ baaaa
18.	bcbaaab ⇒ aaaab
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	bb	23	`lf:12,lp:1,ls:10,rf:2,rs:2,lprs:10,a:1`
[2/1]	ab	21	`lf:14,lp:1,ls:6,rf:7,rp:2,rs:6,re:1,lsrs:5`
[2/2]	cb	16	`lf:12,lp:4,rf:3,rp:3,a:1`
[2/3]	aa	15	`lf:15,rf:16,rp:5,rs:5,re:1,a:9`
[2/4]	ba	13	`lf:11,ls:2,rf:6,rp:4,rs:1,re:1`
[2/5]	bc	8	`lf:4,lp:4,a:3`
[2/6]	ca	8	`lf:4,lp:4,a:11`
[3/0]	abb	14	`lf:7,ls:7,rf:1,rp:1,rs:1,re:1,a:2`
[3/1]	aab	13	`lf:9,ls:4,rf:4,rp:1,rs:4,re:1,lsrs:3,a:9`
[3/2]	cba	12	`lf:9,lp:3,rf:2,rp:2,a:6`
[3/3]	bcb	8	`lf:4,lp:4,a:3`
[3/4]	acb	8	`lf:4,lp:4,a:1`
[3/5]	baa	6	`lf:6,rf:4,rp:3,rs:1,re:1,a:15`
[3/6]	aaa	6	`lf:6,rf:7,rp:3,rs:3,re:1,a:16`

Considering [length 2 / frequency 0] bb=d.

Step 2

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

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