Morphocompletion for #4789 ⟨a, b | abaabaab=bba⟩

Back:⟨a, b | abaabaab=bba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abaabaab ⇒ bba
2. ababba ⇒ bbaaab
3. bbaaabbaabaab ⇒ ababbbba
4. bbaaabbabba ⇒ ababbbbaaab
5. bbaaabaabbaabaab ⇒ abaababbbba
6. abaabaaababbbba ⇒ bbabaaabbaabaab
7. bbaaabaabbabba ⇒ abaababbbbaaab
8. abaabaaabaababbbba ⇒ bbabaaabaabbaabaab
9. bbabaaabbaabaabbaabaab ⇒ abaabaaababbbbbba
10. bbaaabbaabaaababbbba ⇒ ababbbbabaaabbaabaab
11. bbabaaabbaabaabbabba ⇒ abaabaaababbbbbbaaab
12. bbabaaabaabbaabaabbaabaab ⇒ abaabaaabaababbbbbba
13. abaabaaabaabaaababbbbbba ⇒ bbababaaabbaabaabbaabaab
14. bbaaabbaabaaabaababbbba ⇒ ababbbbabaaabaabbaabaab
15. bbaaabaabbaabaaababbbba ⇒ abaababbbbabaaabbaabaab
16. bbabaaabaabbaabaabbabba ⇒ abaabaaabaababbbbbbaaab
17. abaabaaabaabaaabaababbbbbba ⇒ bbababaaabaabbaabaabbaabaab
18. bbaaabaabbaabaaabaababbbba ⇒ abaababbbbabaaabaabbaabaab
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba103lf:90,ls:13,rf:78,rs:5
[2/1]ab94lf:83,lp:6,ls:5,rf:85,rp:12,rs:13,lsrp:4,lprs:5
[2/2]aa82lf:82,rf:68
[2/3]bb73lf:61,lp:12,rf:60,rp:6
[3/0]bba66lf:41,lp:12,ls:13,rf:28,rp:6,rs:5,re:1,lsrp:5,lprs:4
[3/1]aab65lf:60,ls:5,rf:51,rs:13
[3/2]baa60lf:60,rf:51
[3/3]aba55lf:49,lp:6,rf:50,rp:12
[3/4]abb29lf:29,rf:22,a:1
[3/5]aaa22lf:22,rf:17,a:1
[3/6]bbb20lf:20,rf:32,a:2
[4/0]abaa45lf:40,lp:5,rf:36,rp:8
[4/1]baab43lf:38,ls:5,rf:34,rs:8
[4/2]aaba39lf:39,rf:28
[4/3]bbaa28lf:20,lp:8,rf:15,rp:1,a:1
[4/4]abba26lf:21,ls:5,rf:10,a:1
[4/5]baaa22lf:22,rf:17,a:1
[4/6]aaab22lf:22,rf:17,rs:5,a:1
[5/0]abaab36lf:26,lp:5,ls:5,rf:24,rp:8,rs:8,lsrp:3,lprs:4
[5/1]aabaa31lf:31,rf:20
[5/2]baaba23lf:23,rf:20
[5/3]baaab22lf:22,rf:17,rs:5,a:1
[5/4]bbbba16lf:8,ls:8,rf:12,rs:4,a:2
[5/5]bbaaa16lf:8,lp:8,rf:5,rp:1,a:1
[5/6]aabba16lf:16,rf:10,a:2
[6/0]aabaab26lf:21,ls:5,rf:16,rs:8
[6/1]baabaa19lf:19,rf:14
[6/2]bbaaab16lf:8,lp:8,rf:5,rp:1,rs:5,re:1,lprs:2,a:1
[6/3]baaaba16lf:16,rf:8,a:4
[6/4]abaaba16lf:11,lp:5,rf:10,rp:8
[6/5]abaaab14lf:14,rf:12,a:4
[6/6]abbbba12lf:6,ls:6,rf:8,rs:2,a:2
[7/0]baabaab14lf:9,ls:5,rf:10,rs:8
[7/1]babbbba12lf:6,ls:6,rf:8,rs:2,a:2
[7/2]bbaabaa12lf:12,rf:10,a:2
[7/3]abbaaba12lf:12,rf:10,a:2
[7/4]aabbaab12lf:12,rf:10,a:2
[7/5]baaabaa12lf:12,rf:6,a:5
[7/6]abaabaa12lf:7,lp:5,rf:4,rp:4

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

Step 2

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