Morphocompletion for #2057 ⟨a, b | abababba=ab⟩

Solved by morph:2/0,2/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:

[2/0]	ab	64	`lf:46,lp:18,rf:39,rp:18,rs:6,re:1,lprp:18,lprs:6`
[2/1]	bb	61	`lf:58,ls:3,rf:41,rs:9`
[2/2]	ba	53	`lf:43,ls:10,rf:24,rs:3`
[2/3]	aa	10	`lf:5,ls:5,a:17`
[3/0]	abb	46	`lf:28,lp:15,ls:3,rf:20,rp:15,rs:6,re:1,lprp:13,lsrp:3,lprs:5`
[3/1]	bba	35	`lf:25,ls:10,rf:11,rs:3`
[3/2]	bbb	30	`lf:30,rf:21,rs:3,a:3`
[3/3]	bab	28	`lf:28,rf:21,rs:5`
[4/0]	abbb	25	`lf:13,lp:12,rf:11,rp:11,rs:1,re:1,lprp:9,lprs:1,a:3`
[4/1]	abba	24	`lf:12,lp:3,ls:9,rf:3,rp:3,lsrp:1`
[4/2]	abab	21	`lf:18,lp:3,rf:13,rp:2,rs:5`
[4/3]	bbbb	17	`lf:17,rf:10,rs:2,a:5`
[5/0]	babba	18	`lf:9,ls:9`
[5/1]	abbbb	17	`lf:9,lp:8,rf:7,rp:7,rs:1,re:1,lprp:5,lprs:1,a:5`
[5/2]	babab	15	`lf:15,rf:11,rs:5`
[5/3]	ababb	12	`lf:9,ls:3,rf:5,rs:5`
[6/0]	bababb	12	`lf:9,ls:3,rf:5,rs:5`
[6/1]	ababab	12	`lf:9,lp:3,rf:3,rp:2,rs:1,re:1`
[6/2]	abbbbb	10	`lf:5,lp:5,rf:3,rp:3,rs:1,re:1,lprp:2,lprs:1,a:9`
[6/3]	ababba	10	`lf:5,ls:5`

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

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: wordLimit

#	Rule
1.	ab ⇒ c
2.	cccba ⇒ c
3.	cccbc ⇒ cb
4.	cbba ⇒ cccccb
5.	cbcba ⇒ cccb
6.	cbccba ⇒ cb
7.	cbbc ⇒ cccccbb
8.	cbcbc ⇒ cccbb
9.	cbccbc ⇒ cbb
10.	cbbba ⇒ cbccccb
11.	cbbbc ⇒ cbccccbb
12.	cbbbba ⇒ cccccccccccccccccbbb
13.	cbbbbc ⇒ cccccccccccccccccbbbb
	...

Collecting factors up to length 6 / frequency 7:

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

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

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