Morphocompletion for #4268 ⟨a, b | abaababba=ab⟩

Back:⟨a, b | abaababba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbbaaa ⇒ abaabab
2. abbabba ⇒ abababb
3. abababba ⇒ abaababb
4. abaababba ⇒ ab
5. abbbbaaa ⇒ abbaabab
6. abbbabba ⇒ abbababb
7. abbababba ⇒ abbaababb
8. abbaababba ⇒ abb
9. abbbbbaaa ⇒ abbbaabab
10. abaababababb ⇒ abbba
11. abaababaababb ⇒ abbbaa
12. abbbbabba ⇒ abbbababb
13. abbbaababba ⇒ abbb
14. abbaababababb ⇒ abbbba
15. abbbbaababba ⇒ abbbb
...

Collecting factors up to length 7 / frequency 4:

[2/0]ab57lf:42,lp:15,rf:31,rp:15,rs:4,re:1,lprp:15,lprs:4
[2/1]ba48lf:39,ls:9,rf:19,rs:2
[2/2]bb38lf:35,ls:3,rf:25,rs:8
[2/3]aa17lf:14,ls:3,rf:6,rs:1
[3/0]abb37lf:23,lp:11,ls:3,rf:16,rp:11,rs:6,re:1,lprp:9,lsrp:3,lprs:5
[3/1]bba29lf:20,ls:9,rf:8,rs:2
[3/2]aba23lf:19,lp:4,rf:11,rp:3,lprp:1
[3/3]bab19lf:19,rf:11,rs:3
[4/0]abba26lf:13,lp:4,ls:9,rf:3,rp:3,lprp:1,lsrp:2
[4/1]abab16lf:15,lp:1,rf:9,rp:1,rs:3
[4/2]babb15lf:12,ls:3,rf:5,rs:5
[4/3]abbb14lf:7,lp:7,rf:7,rp:7,rs:1,re:1,lprp:4,lprs:1,a:3
[5/0]babba18lf:9,ls:9
[5/1]ababb12lf:9,ls:3,rf:5,rs:5
[5/2]abbbb8lf:4,lp:4,rf:2,rp:2,rs:1,re:1,lprp:1,lprs:1,a:5
[5/3]baaba8lf:8,rf:5
[6/0]ababba12lf:6,ls:6
[6/1]baabab8lf:8,rf:5,rs:3
[6/2]abaaba7lf:4,lp:3,rf:2,rp:2
[6/3]bbabba6lf:3,ls:3,a:9

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ba ⇒ c
2. acacbc ⇒ ab
3. ccacbc ⇒ cb
4. accbca ⇒ ab
5. cccbca ⇒ cb
6. acacbb ⇒ accbc
7. ccacbb ⇒ cccbc
8. abbc ⇒ acacccbb
9. cbbc ⇒ ccacccbb
10. abcbc ⇒ accbb
11. cbcbc ⇒ cccbb
12. abcacbc ⇒ abb
13. cbcacbc ⇒ cbb
14. abccbca ⇒ abb
15. cbccbca ⇒ cbb
16. abbb ⇒ acacccbccbc
17. abcbb ⇒ accbccbc
18. cbcbb ⇒ cccbccbc
19. abcacbb ⇒ abccbc
20. cbcacbb ⇒ cbccbc
...

Collecting factors up to length 6 / frequency 7:

[2/0]bc30lf:22,ls:8,rf:12,rs:7,a:2
[2/1]cb28lf:22,lp:6,rf:19,rp:5,rs:2,re:2,lprp:3,a:2
[2/2]bb17lf:10,ls:7,rf:8,rs:8,a:4
[2/3]ca16lf:12,ls:4,rf:3,a:2
[2/4]ab14lf:7,lp:7,rf:5,rp:5,rs:2,re:2,lprp:3,a:2
[2/5]ac14lf:11,lp:3,rf:8,rp:5,lprp:1,a:2
[2/6]cc10lf:7,lp:3,rf:21,rp:4,lprp:1,a:3
[3/0]cbc26lf:15,lp:5,ls:6,rf:11,rp:1,rs:7,lprp:1,lprs:2,a:2
[3/1]cbb14lf:7,lp:1,ls:6,rf:6,rp:2,rs:6,re:2,lprs:1,a:5
[3/2]bca12lf:8,ls:4,a:4
[3/3]abc10lf:5,lp:5,rf:1,rp:1,lprp:1,a:4
[3/4]acb8lf:8,a:2
[3/5]cac8lf:8,rf:3,a:2
[3/6]bbc4lf:2,ls:2,a:25
[4/0]cbca12lf:6,lp:2,ls:4,a:5
[4/1]acbb8lf:4,ls:4,a:7
[4/2]acbc8lf:4,ls:4,a:2
[4/3]cacb8lf:8,a:2
[4/4]bcbb4lf:2,ls:2,a:24
[4/5]bcbc4lf:2,ls:2,a:16
[4/6]cbcb4lf:2,lp:2,a:21
[5/0]cacbb8lf:4,ls:4,a:7
[5/1]ccbca8lf:4,ls:4,a:14
[5/2]cacbc8lf:4,ls:4,a:2
[5/3]bcacb4lf:4,a:4
[5/4]cbcac4lf:2,lp:2,a:5
[5/5]abcac4lf:2,lp:2,a:4
[5/6]ccacb4lf:2,lp:2,a:3

Considering [length 3 / frequency 1] cbb=d.

Step 3

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