Morphocompletion for #4222 ⟨a, b | aabbbbbba=ab⟩

Back:⟨a, b | aabbbbbba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aabbbbbba ⇒ ab
2. ababbbbbba ⇒ abb
3. aabbbbbbb ⇒ abbbbbbba
4. abbabbbbbba ⇒ abbb
5. ababbbbbbb ⇒ abbbbbbbba
6. abbbabbbbbba ⇒ abbbb
7. abbabbbbbbb ⇒ abbbbbbbbba
8. abbbbabbbbbba ⇒ abbbbb
9. abbbabbbbbbb ⇒ abbbbbbbbbba
10. abbbbbabbbbbba ⇒ abbbbbb
11. abbbbabbbbbbb ⇒ abbbbbbbbbbba
12. abbbbbbabbbbbba ⇒ abbbbbbb
13. abbbbbabbbbbbb ⇒ abbbbbbbbbbbba
14. abbbbbbbabbbbbba ⇒ abbbbbbbb
15. abbbbbbabbbbbbb ⇒ abbbbbbbbbbbbba
16. abbbbbbbbabbbbbba ⇒ abbbbbbbbb
17. abbbbbbbabbbbbbb ⇒ abbbbbbbbbbbbbba
18. abbbbbbbbbabbbbbba ⇒ abbbbbbbbbb
19. abbbbbbbbbbabbbbbba ⇒ abbbbbbbbbbb
20. abbbbbbbbbbbabbbbbba ⇒ abbbbbbbbbbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb192lf:184,ls:8,rf:142,rs:11
[2/1]ab56lf:38,lp:18,rf:20,rp:20,rs:1,re:1,lprp:18
[2/2]ba42lf:30,ls:12,rf:8,rs:8
[2/3]aa4lf:2,lp:2
[3/0]bbb156lf:148,ls:8,rf:123,rs:10
[3/1]abb52lf:36,lp:16,rf:19,rp:19,rs:1,re:1,lprp:16
[3/2]bba40lf:28,ls:12,rf:8,rs:8
[3/3]bab18lf:18,a:1
[3/4]aab4lf:2,lp:2
[3/5]aba4lf:2,lp:2,a:1
[4/0]bbbb122lf:114,ls:8,rf:105,rs:9
[4/1]abbb48lf:34,lp:14,rf:18,rp:18,rs:1,re:1,lprp:14
[4/2]bbba38lf:26,ls:12,rf:8,rs:8
[4/3]babb18lf:18,a:1
[4/4]bbab16lf:16,a:2
[4/5]aabb4lf:2,lp:2
[4/6]abab4lf:2,lp:2,a:1
[5/0]bbbbb90lf:82,ls:8,rf:88,rs:8
[5/1]abbbb44lf:32,lp:12,rf:17,rp:17,rs:1,re:1,lprp:12
[5/2]bbbba36lf:24,ls:12,rf:8,rs:8
[5/3]babbb18lf:18,a:1
[5/4]bbabb16lf:16,a:2
[5/5]bbbab14lf:14,a:3
[5/6]aabbb4lf:2,lp:2
[6/0]bbbbbb60lf:52,ls:8,rf:72,rs:7
[6/1]abbbbb40lf:30,lp:10,rf:16,rp:16,rs:1,re:1,lprp:10
[6/2]bbbbba34lf:22,ls:12,rf:8,rs:8
[6/3]babbbb18lf:18,a:1
[6/4]bbabbb16lf:16,a:2
[6/5]bbbabb14lf:14,a:3
[6/6]bbbbab12lf:12,a:4
[7/0]abbbbbb36lf:28,lp:8,rf:15,rp:15,rs:1,re:1,lprp:8
[7/1]bbbbbbb32lf:24,ls:8,rf:57,rs:6,a:6
[7/2]bbbbbba32lf:20,ls:12,rf:8,rs:8
[7/3]babbbbb18lf:18,a:1
[7/4]bbabbbb16lf:16,a:2
[7/5]bbbabbb14lf:14,a:3
[7/6]bbbbabb12lf:12,a:4

Considering [length 7 / frequency 0] abbbbbb=c.

Step 2

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