Morphocompletion for #1001 ⟨a, b | abbbbba=ab⟩

Back:⟨a, b | abbbbba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

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

Collecting factors up to length 8 / frequency 7:

[2/0]bb270lf:270,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]bbb250lf:250,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]bbbb230lf:230,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]bbbbb210lf:210,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]bbbbbb190lf:190,rf:120,rs:15,a:1
[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]bbbbbbb171lf:171,rf:105,rs:14,a:2
[7/1]abbbbbb38lf:19,lp:19,rf:15,rp:15,rs:1,re:1,lprp:15,lprs:1,a:1
[7/2]bbbbbba38lf:19,ls:19,a:1

Considering [length 6 / frequency 1] abbbbb=c.

Step 2

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