Morphocompletion for #1903 ⟨a, b | aaababba=ba⟩

Solved by morph:7/1. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	aaababba ⇒ ba
2.	aaababbba ⇒ bba
3.	aaababbbba ⇒ bbba
4.	aaababbbbba ⇒ bbbba
5.	aaababbbbbba ⇒ bbbbba
6.	aaababbbbbbba ⇒ bbbbbba
7.	aaababbbbbbbba ⇒ bbbbbbba
8.	aaababbbbbbbbba ⇒ bbbbbbbba
9.	aaababbbbbbbbbba ⇒ bbbbbbbbba
10.	aaababbbbbbbbbbba ⇒ bbbbbbbbbba
11.	aaababbbbbbbbbbbba ⇒ bbbbbbbbbbba
12.	aaababbbbbbbbbbbbba ⇒ bbbbbbbbbbbba
13.	aaababbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbba
14.	aaababbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
15.	aaababbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbba
16.	aaababbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
17.	aaababbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbba
18.	aaababbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
19.	aaababbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbba
20.	aaababbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
	...

Collecting factors up to length 8 / frequency 7:

[2/0]	bb	210	`lf:210,rf:190,rp:19`
[2/1]	ba	60	`lf:40,ls:20,rf:20,rp:1,rs:20,re:1,lsrp:1,lsrs:20`
[2/2]	aa	60	`lf:40,lp:20`
[2/3]	ab	40	`lf:40`
[3/0]	bbb	190	`lf:190,rf:171,rp:18,a:1`
[3/1]	bba	40	`lf:20,ls:20,rf:19,rp:1,rs:19,re:1,lsrp:1,lsrs:19`
[3/2]	aaa	40	`lf:20,lp:20`
[3/3]	bab	20	`lf:20`
[3/4]	abb	20	`lf:20`
[3/5]	aba	20	`lf:20`
[3/6]	aab	20	`lf:20`
[4/0]	bbbb	171	`lf:171,rf:153,rp:17,a:2`
[4/1]	aaab	40	`lf:20,lp:20`
[4/2]	bbba	38	`lf:19,ls:19,rf:18,rp:1,rs:18,re:1,lsrp:1,lsrs:18,a:1`
[4/3]	babb	20	`lf:20`
[4/4]	abab	20	`lf:20`
[4/5]	aaba	20	`lf:20`
[4/6]	abbb	19	`lf:19,a:1`
[5/0]	bbbbb	153	`lf:153,rf:136,rp:16,a:3`
[5/1]	aaaba	40	`lf:20,lp:20`
[5/2]	bbbba	36	`lf:18,ls:18,rf:17,rp:1,rs:17,re:1,lsrp:1,lsrs:17,a:2`
[5/3]	ababb	20	`lf:20`
[5/4]	aabab	20	`lf:20`
[5/5]	babbb	19	`lf:19,a:1`
[5/6]	abbbb	18	`lf:18,a:2`
[6/0]	bbbbbb	136	`lf:136,rf:120,rp:15,a:4`
[6/1]	aaabab	40	`lf:20,lp:20`
[6/2]	bbbbba	34	`lf:17,ls:17,rf:16,rp:1,rs:16,re:1,lsrp:1,lsrs:16,a:3`
[6/3]	aababb	20	`lf:20`
[6/4]	ababbb	19	`lf:19,a:1`
[6/5]	babbbb	18	`lf:18,a:2`
[6/6]	abbbbb	17	`lf:17,a:3`
[7/0]	bbbbbbb	120	`lf:120,rf:105,rp:14,a:5`
[7/1]	aaababb	40	`lf:20,lp:20`
[7/2]	bbbbbba	32	`lf:16,ls:16,rf:15,rp:1,rs:15,re:1,lsrp:1,lsrs:15,a:4`
[7/3]	aababbb	19	`lf:19,a:1`
[7/4]	ababbbb	18	`lf:18,a:2`
[7/5]	babbbbb	17	`lf:17,a:3`
[7/6]	abbbbbb	16	`lf:16,a:4`

Considering [length 7 / frequency 1] aaababb=c.

Step 2

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

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