Morphocompletion for #2311 ⟨a, b | abaabab=bba⟩

Back:⟨a, b | abaabab=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. abaabab ⇒ bba
2. abaabbba ⇒ bbaaabab
3. bbaaababbaabab ⇒ abaabbbbba
4. abaabaabaabbbbba ⇒ bbabaaababbaabab
5. bbaaababbaabbba ⇒ abaabbbbbaaabab
6. bbabaaababbaababbaabab ⇒ abaabaabaabbbbbbba
7. abaabaabaabaabaabbbbbbba ⇒ bbababaaababbaababbaabab
8. bbaaababbaabaabaabbbbba ⇒ abaabbbbbabaaababbaabab
9. bbabaaababbaababbaabbba ⇒ abaabaabaabbbbbbbaaabab
10. bbababaaababbaababbaababbaabab ⇒ abaabaabaabaabaabbbbbbbbba
11. abaabaabaabaabaabaabaabbbbbbbbba ⇒ bbabababaaababbaababbaababbaabab
12. bbaaababbaabaabaabaabaabbbbbbba ⇒ abaabbbbbababaaababbaababbaabab
13. bbabaaababbaababbaabaabaabbbbba ⇒ abaabaabaabbbbbbbabaaababbaabab
14. bbababaaababbaababbaababbaabbba ⇒ abaabaabaabaabaabbbbbbbbbaaabab
15. bbabababaaababbaababbaababbaababbaabab ⇒ abaabaabaabaabaabaabaabbbbbbbbbbba
16. bbaaababbaabaabaabaabaabaabaabbbbbbbbba ⇒ abaabbbbbabababaaababbaababbaababbaabab
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba121lf:110,ls:11,rf:97,rs:5
[2/1]ab114lf:104,lp:5,ls:5,rf:103,rp:11,rs:11,lsrp:4,lprs:4
[2/2]bb91lf:80,lp:11,rf:82,rp:5
[2/3]aa74lf:74,rf:66
[3/0]aba72lf:67,lp:5,rf:68,rp:11
[3/1]bba65lf:43,lp:11,ls:11,rf:29,rp:5,rs:5,re:1,lsrp:4,lprs:4
[3/2]baa63lf:63,rf:55
[3/3]aab63lf:63,rf:55
[3/4]bab41lf:36,ls:5,rf:37,rs:11
[3/5]bbb37lf:37,rf:53,a:1
[3/6]abb32lf:32,rf:24,a:1
[4/0]baab52lf:52,rf:44
[4/1]aaba52lf:52,rf:44
[4/2]abaa42lf:37,lp:5,rf:38,rp:11
[4/3]abab35lf:30,ls:5,rf:30,rs:11
[4/4]bbaa31lf:26,lp:5,rf:17,rp:1,a:1
[4/5]bbbb26lf:26,rf:42,a:2
[4/6]bbba22lf:11,ls:11,rf:11,rs:4,a:1
[5/0]baaba41lf:41,rf:33
[5/1]abaab36lf:31,lp:5,rf:31,rp:11
[5/2]aabab31lf:26,ls:5,rf:24,rs:11
[5/3]aabaa26lf:26,rf:20,a:4
[5/4]babba21lf:21,rf:13,a:2
[5/5]bbaab21lf:21,rf:13,a:2
[5/6]ababb21lf:21,rf:13,a:2
[6/0]abaaba27lf:23,lp:4,rf:20,rp:6
[6/1]baabaa26lf:26,rf:20,a:4
[6/2]aabaab26lf:26,rf:20,a:4
[6/3]babbaa21lf:21,rf:13,a:2
[6/4]ababba21lf:21,rf:13,a:2
[6/5]abbaab21lf:21,rf:13,a:2
[6/6]aababb21lf:21,rf:13,a:2
[7/0]baabaab26lf:26,rf:20,a:4
[7/1]abaabaa25lf:22,lp:3,rf:20,rp:6,a:4
[7/2]babbaab21lf:21,rf:13,a:2
[7/3]ababbaa21lf:21,rf:13,a:2
[7/4]aababba21lf:21,rf:13,a:2
[7/5]aabaaba19lf:19,rf:14,a:4
[7/6]bbaabab18lf:14,ls:4,rf:13,rs:7,a:2

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

Step 2

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