Morphocompletion for #1815 ⟨a, b, c | aba=ab, bcc=1⟩

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(c) = 0; deg(b) = deg(a) = 1, b < a

Rewriting system is not complete: roundsLimit

#	Rule
1.	bcc ⇒ 1
2.	aba ⇒ ab
3.	abba ⇒ abb
4.	abbba ⇒ abbb
5.	abbbba ⇒ abbbb
6.	abbbbba ⇒ abbbbb
7.	abbbbbba ⇒ abbbbbb
8.	abbbbbbba ⇒ abbbbbbb
9.	abbbbbbbba ⇒ abbbbbbbb
10.	abbbbbbbbba ⇒ abbbbbbbbb
11.	abbbbbbbbbba ⇒ abbbbbbbbbb
12.	abbbbbbbbbbba ⇒ abbbbbbbbbbb
13.	abbbbbbbbbbbba ⇒ abbbbbbbbbbbb
14.	abbbbbbbbbbbbba ⇒ abbbbbbbbbbbbb
15.	abbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbb
16.	abbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbb
17.	abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbb
18.	abbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbb
19.	abbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbb
20.	abbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbb
	...

Collecting factors up to length 4 / frequency 7:

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

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

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