Morphocompletion for #2333 ⟨a, b | abababa=bab⟩

Solved by morph:2/0,3/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 2 / frequency 0] ba=c.

Checking up to 20 rules for overlaps.

Auxiliary generators:
1. c = ba
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.	cccccb ⇒ bccccc
2.	accc ⇒ cb
3.	cccca ⇒ bcc
4.	bcb ⇒ cccc
5.	ba ⇒ c
6.	abcc ⇒ cbca
7.	acbcc ⇒ cbcca
8.	accbcc ⇒ cbccca
9.	abbcc ⇒ cbcacca
10.	acbbcc ⇒ cbccacca
11.	accbbcc ⇒ cbcccacca
12.	abbbcc ⇒ cbcaccacca
13.	acbbbcc ⇒ cbccaccacca
14.	accbbbcc ⇒ cbcccaccacca
15.	abbbbcc ⇒ cbcaccaccacca
16.	acbbbbcc ⇒ cbccaccaccacca
17.	accbbbbcc ⇒ cbcccaccaccacca
18.	abbbbbcc ⇒ cbcaccaccaccacca
19.	acbbbbbcc ⇒ cbccaccaccaccacca
20.	accbbbbbcc ⇒ cbcccaccaccaccacca
	...

Collecting factors up to length 6, frequency 7:

Length 2:	[2/0] cc, [2/1] bb, [2/2] ac, [2/3] bc, [2/4] cb, [2/5] ab, [2/6] ca
Length 3:	[3/0] bcc, [3/1] bbb, [3/2] bbc, [3/3] acc, [3/4] acb, [3/5] ccc, [3/6] abb
Length 4:	[4/0] bbcc, [4/1] accb, [4/2] bbbb, [4/3] bbbc, [4/4] acbb, [4/5] abbb, [4/6] cbbb
Length 5:	[5/0] bbbcc, [5/1] accbb, [5/2] acbbb, [5/3] bbbbc, [5/4] abbbb, [5/5] cbbbb, [5/6] cbbcc

Considering [length 3 / frequency 0] bcc=d.

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

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