Morphocompletion for #1137 ⟨a, b | abbbba=bab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Reduction order:
- Left-to-right shortlex with b < a

Rewriting system is not complete: rulesLimit

#	Rule
1.	abbbba ⇒ bab
2.	abbbbbab ⇒ babbbbba
3.	aabbbbbbab ⇒ babbbbbbaa
4.	ababbbbbbab ⇒ babbbbbbaba
5.	bbbbabbbbbaa ⇒ abbbbbbab
6.	abbabbbbbbab ⇒ babbbbbbabba
7.	babbbbbbaabbba ⇒ aabbbbbbbab
8.	abbbbbbabbbbba ⇒ babbbbbbabb
9.	babbbbbbababbba ⇒ ababbbbbbbab
	...

Collecting factors up to length 4, frequency 3:

Length 2:	[2/0] bb, [2/1] ab, [2/2] ba
Length 3:	[3/0] bbb, [3/1] bab, [3/2] bba

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

Step 2

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	ab ⇒ c
2.	cbbba ⇒ bc
3.	cbbbc ⇒ bcb
4.	bcbbbba ⇒ cbbbbc
5.	cbbbbcb ⇒ bcbbbbc
6.	ccbbbba ⇒ acbbbbc
7.	bcbbbbbaa ⇒ acbbbbbc
8.	bcbbbbbca ⇒ ccbbbbbc
9.	acbbbbbcb ⇒ bcbbbbbac
10.	cbbcbbbbc ⇒ bcbbbbba
11.	ccbbbbbaa ⇒ aacbbbbbc
12.	ccbbbbbcb ⇒ bcbbbbbcc
13.	ccbbbbbca ⇒ accbbbbbc
14.	bbbcbbbbca ⇒ cbbbbbc
15.	bbbcbbbbcc ⇒ cbbbbbcb
16.	bcbbbbbcba ⇒ cbcbbbbbc
17.	acbcbbbbbc ⇒ bcbbbbbcca
18.	cbcbbbbbcb ⇒ bcbbbbbcbc
19.	bcbbbbbcbca ⇒ ccbcbbbbbc
20.	bcbbbbbccaa ⇒ acccbbbbbc
	...

Collecting factors up to length 5, frequency 3:

Length 2:	[2/0] bb, [2/1] cb, [2/2] bc
Length 3:	[3/0] bbb, [3/1] bcb, [3/2] cbb
Length 4:	[4/0] bbbb, [4/1] cbbb, [4/2] bbbc

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

Step 3

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	ab ⇒ c
2.	cb ⇒ d
3.	dbba ⇒ bc
4.	dbbc ⇒ bd
5.	dbbd ⇒ bdb
6.	bdbbba ⇒ dbbbc
7.	bdbbbc ⇒ dbbbd
8.	cdbbba ⇒ adbbbc
9.	cdbbbc ⇒ adbbbd
10.	dbbbdb ⇒ bdbbbd
11.	ddbbba ⇒ adbbbd
12.	ddbbbc ⇒ cdbbbd
13.	bdbbbba ⇒ ddbbbd
14.	cdbbbba ⇒ addbbbd
15.	dbdbbbd ⇒ bdbbbbc
16.	ddbbbba ⇒ cddbbbd
17.	ddbbbda ⇒ adbbbbc
18.	ddbbbdc ⇒ adbbbbd
19.	bbdbbbda ⇒ dbbbbc
20.	bbdbbbdc ⇒ dbbbbd
	...

Collecting factors up to length 4, frequency 3:

Length 2:	[2/0] bb, [2/1] db, [2/2] bd
Length 3:	[3/0] dbb, [3/1] bbb, [3/2] bba

Considering [length 2 / frequency 1] db=e.

Step 4

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	ab ⇒ c
2.	cb ⇒ d
3.	db ⇒ e
4.	eba ⇒ bc
5.	ebc ⇒ bd
6.	ebd ⇒ be
7.	ebe ⇒ beb
8.	bebba ⇒ ebbc
9.	bebbc ⇒ ebbd
10.	bebbd ⇒ ebbe
11.	cebba ⇒ aebbc
12.	cebbc ⇒ aebbd
13.	cebbd ⇒ aebbe
14.	debba ⇒ aebbd
15.	debbc ⇒ aebbe
16.	debbd ⇒ cebbe
17.	ebbeb ⇒ bebbe
18.	eebba ⇒ aebbe
19.	eebbc ⇒ cebbe
20.	eebbd ⇒ debbe
	...

Collecting factors up to length 7, frequency 2:

Length 2:	[2/0] eb, [2/1] bb
Length 3:	[3/0] ebb, [3/1] beb
Length 4:	[4/0] ebbd, [4/1] ebbc
Length 5:	[5/0] debbe, [5/1] cebbe

Considering [length 2 / frequency 0] eb=f.

Step 5

Auxiliary generators:
1. c = ab
2. d = cb
3. e = db
4. f = eb
Reduction order:
- Left-to-right shortlex with b < a < c < d < e < f

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