Morphocompletion for #1807 ⟨a, b, c | aba=ab, abc=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 ⇒ ab
2.	abc ⇒ 1
3.	abba ⇒ abb
4.	abbc ⇒ ab
5.	abbba ⇒ abbb
6.	abbbc ⇒ abb
7.	abbbba ⇒ abbbb
8.	abbbbc ⇒ abbb
9.	abbbbba ⇒ abbbbb
10.	abbbbbc ⇒ abbbb
11.	abbbbbba ⇒ abbbbbb
12.	abbbbbbc ⇒ abbbbb
13.	abbbbbbba ⇒ abbbbbbb
14.	abbbbbbbc ⇒ abbbbbb
15.	abbbbbbbba ⇒ abbbbbbbb
16.	abbbbbbbbc ⇒ abbbbbbb
17.	abbbbbbbbba ⇒ abbbbbbbbb
18.	abbbbbbbbbc ⇒ abbbbbbbb
19.	abbbbbbbbbba ⇒ abbbbbbbbbb
20.	abbbbbbbbbbc ⇒ abbbbbbbbb
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	bb	90	`lf:90,rf:81,rs:17,a:2`
[2/1]	ab	40	`lf:20,lp:20,rf:19,rp:19,rs:2,re:2,lprp:19,lprs:2`
[2/2]	bc	20	`lf:10,ls:10,a:1`
[2/3]	ba	20	`lf:10,ls:10`
[3/0]	bbb	72	`lf:72,rf:64,rs:15,a:4`
[3/1]	abb	36	`lf:18,lp:18,rf:17,rp:17,rs:2,re:2,lprp:17,lprs:2,a:2`
[3/2]	bbc	18	`lf:9,ls:9,a:3`
[3/3]	bba	18	`lf:9,ls:9,a:2`

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

Step 2

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

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