Morphocompletion for #4794 ⟨a, b | abaababa=abb⟩

Back:⟨a, b | abaababa=abb⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abaababa ⇒ abb
2. abaababb ⇒ abbababa
3. abbbaababa ⇒ abbbb
4. abbbaababb ⇒ abbbbababa
5. abbbbbaababa ⇒ abbbbbb
6. abbbbbaababb ⇒ abbbbbbababa
7. abbbbbbbaababa ⇒ abbbbbbbb
8. abbbbbbbaababb ⇒ abbbbbbbbababa
9. abbbbbbbbbaababa ⇒ abbbbbbbbbb
10. abbbbbbbbbaababb ⇒ abbbbbbbbbbababa
11. abbbbbbbbbbbaababa ⇒ abbbbbbbbbbbb
12. abbbbbbbbbbbaababb ⇒ abbbbbbbbbbbbababa
13. abbbbbbbbbbbbbaababa ⇒ abbbbbbbbbbbbbb
14. abbbbbbbbbbbbbaababb ⇒ abbbbbbbbbbbbbbababa
15. abbbbbbbbbbbbbbbaababa ⇒ abbbbbbbbbbbbbbbb
16. abbbbbbbbbbbbbbbaababb ⇒ abbbbbbbbbbbbbbbbababa
17. abbbbbbbbbbbbbbbbbaababa ⇒ abbbbbbbbbbbbbbbbbb
18. abbbbbbbbbbbbbbbbbaababb ⇒ abbbbbbbbbbbbbbbbbbababa
19. abbbbbbbbbbbbbbbbbbbaababa ⇒ abbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb180lf:171,ls:9,rf:181,rs:10
[2/1]ab76lf:57,lp:19,rf:37,rp:19,lprp:19
[2/2]ba58lf:48,ls:10,rf:27,rs:9
[2/3]aa19lf:19
[3/0]bbb145lf:145,rf:162,rs:9,a:2
[3/1]abb52lf:26,lp:17,ls:9,rf:19,rp:19,rs:1,re:1,lprp:17,lsrp:9
[3/2]aba43lf:31,lp:2,ls:10,rf:18,rs:9,lprs:1
[3/3]bab19lf:19,rf:18
[3/4]aab19lf:19
[3/5]baa19lf:19
[3/6]bba17lf:17,rf:9,a:1
[4/0]bbbb128lf:128,rf:145,rs:9,a:2
[4/1]abbb34lf:17,lp:17,rf:17,rp:17,lprp:17,a:2
[4/2]baba20lf:10,ls:10,rf:18,rs:9
[4/3]abab19lf:19,rf:9
[4/4]baab19lf:19
[4/5]aaba19lf:19
[4/6]babb18lf:9,ls:9,a:1
[5/0]bbbbb113lf:113,rf:128,rs:8,a:3
[5/1]abbbb30lf:15,lp:15,rf:17,rp:17,rs:1,re:1,lprp:15,a:2
[5/2]ababa20lf:10,ls:10,rf:9,rs:9
[5/3]aabab19lf:19
[5/4]baaba19lf:19
[5/5]ababb18lf:9,ls:9,a:1
[5/6]bbaab17lf:17,a:2
[6/0]bbbbbb98lf:98,rf:113,rs:8,a:3
[6/1]abbbbb30lf:15,lp:15,rf:15,rp:15,lprp:15,a:3
[6/2]aababa20lf:10,ls:10
[6/3]baabab19lf:19
[6/4]aababb18lf:9,ls:9,a:1
[6/5]bbbaab17lf:17,a:2
[6/6]bbaaba17lf:17,a:2
[7/0]bbbbbbb85lf:85,rf:98,rs:7,a:5
[7/1]abbbbbb26lf:13,lp:13,rf:15,rp:15,rs:1,re:1,lprp:13,a:3
[7/2]baababa20lf:10,ls:10
[7/3]baababb18lf:9,ls:9,a:1
[7/4]bbaabab17lf:17,a:2
[7/5]bbbaaba17lf:17,a:2
[7/6]bbbbaab15lf:15,a:3

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

Step 2

Rewriting system is complete. See ⟨a, b | abaababa=abb⟩.