Morphocompletion for #861 ⟨a, b | abbabaab=a⟩

Solved by morph:6/1,4/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

Collecting factors up to length 7, frequency 4:

Considering [length 6 / frequency 1] ababaa=c.

Checking up to 20 rules for overlaps.

Auxiliary generators:
1. c = ababaa
Reduction order:
- Right-to-left recursive path with deg(b) = 0; deg(c) = deg(a) = 1, c < a

Rewriting system is not complete: roundsLimit

#	Rule
1.	a ⇒ cbb
2.	ccbbcbbb ⇒ cbbcbbbc
3.	ccbbbcbbcb ⇒ cbcbbbcbbc
4.	cbcbbbcbbcb ⇒ cbbcbbbcbbc
5.	cbbcbbbcbbcb ⇒ cbbbcbbbcbbc
6.	cbbbcbbbcbbcb ⇒ cbbbbcbbbcbbc
7.	cbbbbcbbbcbbcb ⇒ c
8.	ccbbbcbbcbb ⇒ cbbcbbbcbbc
9.	cbcbbbcbbcbb ⇒ cbbbcbbbcbbc
10.	ccbbcbbbcbbc ⇒ cbbcbbbccbbc
11.	cbbcbbbccbbcb ⇒ ccbbbcbbbcbbc
12.	cbbcbbbcbbbcbbbcbbc ⇒ ccbbcb
13.	cbbbcbbbcbbbcbbbcbbc ⇒ cbcbbcb
14.	cbbcbbbcbbbbcbbbcbbc ⇒ ccbbcbb
15.	cbbbcbbbcbbccbbcb ⇒ ccbbbcbbbcbbbcbbc
16.	cbbcbbbccbbbcbbbcbbc ⇒ cccbbcb
	...

Collecting factors up to length 6, frequency 7:

Length 2:	[2/0] bb, [2/1] cb, [2/2] bc, [2/3] cc
Length 3:	[3/0] cbb, [3/1] bbc, [3/2] bcb, [3/3] bbb, [3/4] ccb, [3/5] cbc, [3/6] bcc
Length 4:	[4/0] bbcb, [4/1] bcbb, [4/2] cbbc, [4/3] cbbb, [4/4] bbbc, [4/5] ccbb, [4/6] cbcb
Length 5:	[5/0] bbcbb, [5/1] cbbcb, [5/2] cbbbc, [5/3] bbbcb, [5/4] bcbbb, [5/5] bcbbc, [5/6] ccbbc

Considering [length 4 / frequency 0] bbcb=d.

Auxiliary generators:
1. c = ababaa
2. d = bbcb
Reduction order:
- Right-to-left recursive path with deg(d) = deg(b) = 0, d < b; deg(c) = deg(a) = 1, c < a

Rewriting system is complete. See ⟨a, b | abbabaab=a⟩.