Morphocompletion for #4797 ⟨a, b | abaababa=bba⟩

Back:⟨a, b | abaababa=bba⟩

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 ⇒ bba
2. bbaababa ⇒ abaabbba
3. abaababbba ⇒ bbbba
4. bbaababbba ⇒ abaabbbbba
5. abaababbbbba ⇒ bbbbbba
6. bbaababbbbba ⇒ abaabbbbbbba
7. abaababbbbbbba ⇒ bbbbbbbba
8. bbaababbbbbbba ⇒ abaabbbbbbbbba
9. abaababbbbbbbbba ⇒ bbbbbbbbbba
10. bbaababbbbbbbbba ⇒ abaabbbbbbbbbbba
11. abaababbbbbbbbbbba ⇒ bbbbbbbbbbbba
12. bbaababbbbbbbbbbba ⇒ abaabbbbbbbbbbbbba
13. abaababbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
14. bbaababbbbbbbbbbbbba ⇒ abaabbbbbbbbbbbbbbba
15. abaababbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
16. bbaababbbbbbbbbbbbbbba ⇒ abaabbbbbbbbbbbbbbbbba
17. abaababbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
18. bbaababbbbbbbbbbbbbbbbba ⇒ abaabbbbbbbbbbbbbbbbbbba
19. abaababbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb180lf:171,lp:9,rf:190,rp:10
[2/1]ba76lf:57,ls:19,rf:28,rs:19,lsrs:19
[2/2]ab58lf:48,lp:10,rf:18,rp:9
[2/3]aa19lf:19,rf:9
[3/0]bbb145lf:145,rf:171,rp:9,a:1
[3/1]bba52lf:26,lp:9,ls:17,rf:19,rp:1,rs:19,re:1,lprs:9,lsrs:17
[3/2]aba43lf:31,lp:10,ls:2,rf:9,rp:9,lsrp:1
[3/3]bab19lf:19
[3/4]baa19lf:19,rf:9
[3/5]aab19lf:19,rf:9
[3/6]abb17lf:17,rf:9,a:1
[4/0]bbbb128lf:128,rf:153,rp:9,a:2
[4/1]bbba34lf:17,ls:17,rf:18,rs:18,lsrs:17,a:1
[4/2]abaa20lf:10,lp:10,rf:9,rp:9
[4/3]baab19lf:19,rf:9
[4/4]abab19lf:19
[4/5]aaba19lf:19
[4/6]bbaa18lf:9,lp:9,a:1
[5/0]bbbbb113lf:113,rf:136,rp:8,a:3
[5/1]bbbba30lf:15,ls:15,rf:17,rp:1,rs:17,re:1,lsrs:15,a:2
[5/2]abaab20lf:10,lp:10,rf:9,rp:9
[5/3]baaba19lf:19
[5/4]aabab19lf:19
[5/5]bbaab18lf:9,lp:9,a:1
[5/6]babbb17lf:17,a:2
[6/0]bbbbbb98lf:98,rf:120,rp:8,a:4
[6/1]bbbbba30lf:15,ls:15,rf:16,rs:16,lsrs:15,a:3
[6/2]abaaba20lf:10,lp:10
[6/3]baabab19lf:19
[6/4]bbaaba18lf:9,lp:9,a:1
[6/5]ababbb17lf:17,a:2
[6/6]aababb17lf:17,a:2
[7/0]bbbbbbb85lf:85,rf:105,rp:7,a:5
[7/1]bbbbbba26lf:13,ls:13,rf:15,rp:1,rs:15,re:1,lsrs:13,a:4
[7/2]abaabab20lf:10,lp:10
[7/3]bbaabab18lf:9,lp:9,a:1
[7/4]baababb17lf:17,a:2
[7/5]aababbb17lf:17,a:2
[7/6]babbbbb15lf:15,a:4

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

Step 2

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