Morphocompletion for #2089 ⟨a, b | abbbbbba=ab⟩

Back:⟨a, b | abbbbbba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. abbbbbba ⇒ ab
2. abbbbbbba ⇒ abb
3. abbbbbbbba ⇒ abbb
4. abbbbbbbbba ⇒ abbbb
5. abbbbbbbbbba ⇒ abbbbb
6. abbbbbbbbbbba ⇒ abbbbbb
7. abbbbbbbbbbbba ⇒ abbbbbbb
8. abbbbbbbbbbbbba ⇒ abbbbbbbb
9. abbbbbbbbbbbbbba ⇒ abbbbbbbbb
10. abbbbbbbbbbbbbbba ⇒ abbbbbbbbbb
11. abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbb
12. abbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbb
13. abbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbb
14. abbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbb
15. abbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbb
16. abbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbb
17. abbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbb
18. abbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbb
19. abbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbb
20. abbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb290lf:290,rf:190,rs:19
[2/1]ab40lf:20,lp:20,rf:20,rp:20,rs:1,re:1,lprp:20,lprs:1
[2/2]ba40lf:20,ls:20
[3/0]bbb270lf:270,rf:171,rs:18
[3/1]abb40lf:20,lp:20,rf:19,rp:19,rs:1,re:1,lprp:19,lprs:1
[3/2]bba40lf:20,ls:20
[4/0]bbbb250lf:250,rf:153,rs:17
[4/1]abbb40lf:20,lp:20,rf:18,rp:18,rs:1,re:1,lprp:18,lprs:1
[4/2]bbba40lf:20,ls:20
[5/0]bbbbb230lf:230,rf:136,rs:16
[5/1]abbbb40lf:20,lp:20,rf:17,rp:17,rs:1,re:1,lprp:17,lprs:1
[5/2]bbbba40lf:20,ls:20
[6/0]bbbbbb210lf:210,rf:120,rs:15
[6/1]abbbbb40lf:20,lp:20,rf:16,rp:16,rs:1,re:1,lprp:16,lprs:1
[6/2]bbbbba40lf:20,ls:20
[7/0]bbbbbbb190lf:190,rf:105,rs:14,a:1
[7/1]abbbbbb40lf:20,lp:20,rf:15,rp:15,rs:1,re:1,lprp:15,lprs:1
[7/2]bbbbbba40lf:20,ls:20

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

Step 2

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