Morphocompletion for #483 ⟨a, b | abbbba=ab⟩

Back:⟨a, b | abbbba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

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

Collecting factors up to length 8 / frequency 7:

[2/0]bb250lf:250,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]bbb230lf:230,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]bbbb210lf:210,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]bbbbb190lf:190,rf:136,rs:16,a:1
[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]bbbbbb171lf:171,rf:120,rs:15,a:2
[6/1]abbbbb38lf:19,lp:19,rf:16,rp:16,rs:1,re:1,lprp:16,lprs:1,a:1
[6/2]bbbbba38lf:19,ls:19,a:1
[7/0]bbbbbbb153lf:153,rf:105,rs:14,a:3
[7/1]abbbbbb36lf:18,lp:18,rf:15,rp:15,rs:1,re:1,lprp:15,lprs:1,a:2
[7/2]bbbbbba36lf:18,ls:18,a:2

Considering [length 5 / frequency 1] abbbb=c.

Step 2

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