Morphocompletion for #4303 ⟨a, b | abababbba=ab⟩

Back:⟨a, b | abababbba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbbbaab ⇒ abbabbba
2. abbbbbaab ⇒ abbbabbba
3. abababb ⇒ abbbbaa
4. abbababb ⇒ abbbbbaa
5. abbbababb ⇒ abbbbbbaa
6. abbabbbaa ⇒ ab
7. abbbabbbaa ⇒ abb
8. abbbbabbbaa ⇒ abbb
9. abbbbbabbbaa ⇒ abbbb
...

Collecting factors up to length 7 / frequency 3:

[2/0]bb34lf:31,ls:3,rf:25,rs:3,a:11
[2/1]ab32lf:21,lp:9,ls:2,rf:11,rp:9,rs:1,re:1,lprp:9,lsrp:2,lprs:1,a:11
[2/2]ba16lf:16,rf:7,rs:2,a:11
[3/0]abb26lf:15,lp:8,ls:3,rf:10,rp:8,rs:1,re:1,lprp:7,lsrp:3,lprs:1,a:11
[3/1]bbb16lf:16,rf:15,rs:2,a:11
[3/2]bba12lf:12,rf:7,rs:2,a:11
[4/0]abbb16lf:10,lp:6,rf:8,rp:6,rs:1,re:1,lprp:4,lprs:1,a:11
[4/1]bbaa10lf:6,ls:4,rf:3,rs:3,a:11
[4/2]babb10lf:7,ls:3,rf:2,a:11
[5/0]bbbaa10lf:6,ls:4,rf:3,rs:3,a:11
[5/1]abbba8lf:6,lp:2,rf:3,rp:1,rs:2,a:11
[5/2]abbbb8lf:4,lp:4,rf:4,rp:4,rs:1,re:1,lprp:1,lprs:1,a:15
[6/0]abbbaa8lf:4,ls:4,a:11
[6/1]bababb6lf:3,ls:3,a:17
[6/2]abbbab4lf:2,lp:2,rf:1,rp:1,a:14

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. cccbbc ⇒ cb
2. cbcbbc ⇒ cccbbb
3. cbccbbc ⇒ cbb
4. cccbccbbb ⇒ cbbbc
5. cbbcbbc ⇒ cbccbbb
6. cbbccbbc ⇒ cbbb
7. cbccbccbbb ⇒ cbbbbc
8. cbbbcbbc ⇒ cbbccbbb
9. cbbbccbbc ⇒ cbbbb
10. cccbba ⇒ c
11. cbbba ⇒ cccbccbb
12. cbcbba ⇒ cccbb
13. cbccbba ⇒ cb
14. cbbbba ⇒ cbccbccbb
15. cbbcbba ⇒ cbccbb
16. cbbccbba ⇒ cbb
17. cbbbcbba ⇒ cbbccbb
18. cbbbccbba ⇒ cbbb
19. cbbbbccbba ⇒ cbbbb
20. ab ⇒ c
...

Collecting factors up to length 6 / frequency 5:

[2/0]cb51lf:35,lp:16,rf:25,rp:15,rs:2,re:2,lprp:13,lprs:1,a:2
[2/1]bb41lf:39,ls:2,rf:30,rs:14,a:2
[2/2]bc30lf:23,ls:7,rf:9,rs:2,a:3
[2/3]ba20lf:10,ls:10,a:2
[2/4]cc19lf:16,lp:3,rf:13,rp:3,a:2
[3/0]cbb39lf:28,lp:11,rf:18,rp:10,rs:7,re:2,lprp:7,lprs:5,a:2
[3/1]bbc23lf:16,ls:7,rf:4,rs:2,a:3
[3/2]bba20lf:10,ls:10,a:2
[3/3]bbb13lf:11,ls:2,rf:12,rs:7,a:7
[3/4]ccb13lf:13,rf:10,a:2
[4/0]cbbc22lf:11,lp:4,ls:7,rf:2,rp:2,lsrp:1,a:3
[4/1]cbbb18lf:9,lp:7,ls:2,rf:9,rp:6,rs:5,re:2,lprp:3,lsrp:2,lprs:2,a:7
[4/2]cbba16lf:8,ls:8,a:2
[4/3]ccbb11lf:11,rf:8,rs:5,a:2
[4/4]bccb10lf:10,rf:7,a:4
[5/0]ccbba10lf:5,ls:5,a:2
[5/1]bccbb9lf:9,rf:6,rs:4,a:4
[5/2]cbbbc8lf:4,lp:4,rf:1,rp:1,rs:1,re:1,a:8
[5/3]ccbbc8lf:4,ls:4,a:3
[5/4]cbccb8lf:5,lp:3,rf:5,rp:3,a:4

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

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. cb ⇒ d
2. ccdbd ⇒ db
3. ddbc ⇒ ccdcdbd
4. dcdbc ⇒ db
5. ccdbc ⇒ d
6. dcdbdc ⇒ ccdcdcdbd
7. dbb ⇒ dcdbd
8. ccdcdbdb ⇒ ddbd
9. dbdbd ⇒ dcdcdbdb
10. dbcdbd ⇒ dcdbdb
11. dbdbc ⇒ dcdcdbd
12. dbcdbc ⇒ dcdbd
13. ddba ⇒ ccdb
14. dcdba ⇒ d
15. ccdba ⇒ c
16. ddbda ⇒ ccdcdcdb
17. dcdbda ⇒ ccdcdb
18. dbdba ⇒ dcdb
19. dbcdba ⇒ db
20. ab ⇒ c
...

Collecting factors up to length 6 / frequency 5:

[2/0]db33lf:25,lp:7,ls:1,rf:17,rp:3,rs:9,re:3,lprp:1,lprs:4,a:3
[2/1]bc13lf:8,ls:5,a:4
[2/2]bd13lf:10,ls:3,rf:8,rs:6,a:5
[2/3]cd12lf:12,rf:19,a:3
[2/4]dc11lf:6,lp:4,ls:1,rf:14,rp:6,a:6
[3/0]dbc16lf:8,lp:3,ls:5,a:4
[3/1]dbd16lf:10,lp:3,ls:3,rf:8,rs:6,lprs:1,a:5
[3/2]cdb11lf:11,rf:11,rs:4,a:3
[3/3]dba10lf:5,ls:5,a:3
[3/4]dcd9lf:5,lp:4,rf:14,rp:6,a:6
[4/0]dcdb9lf:5,lp:4,rf:10,rp:4,rs:3,re:1,lprs:1,a:6
[4/1]dbdb8lf:4,lp:3,ls:1,rf:2,rs:2,lprs:1,a:11
[4/2]cdbd7lf:5,ls:2,rf:7,rs:5,a:5
[4/3]cdba6lf:3,ls:3,a:3
[4/4]dbcd6lf:3,lp:3,a:9
[5/0]dbcdb6lf:3,lp:3,a:9
[5/1]dcdbd5lf:3,lp:2,rf:7,rp:3,rs:5,re:2,lprs:1,a:8
[5/2]bcdba2lf:1,ls:1,a:9
[5/3]cdbda2lf:1,ls:1,a:15
[5/4]bcdbc2lf:1,ls:1,a:10

Considering [length 4 / frequency 1] dbdb=e.

Step 4

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