Morphocompletion for #2348 ⟨a, b | abbaaab=bab⟩

Back:⟨a, b | abbaaab=bab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. abbaaab ⇒ bab
2. abbaabab ⇒ bbab
3. abbaabbab ⇒ bbbab
4. abbaabbbab ⇒ bbbbab
5. abbaabbbbab ⇒ bbbbbab
6. abbaabbbbbab ⇒ bbbbbbab
7. abbaabbbbbbab ⇒ bbbbbbbab
8. abbaabbbbbbbab ⇒ bbbbbbbbab
9. abbaabbbbbbbbab ⇒ bbbbbbbbbab
10. abbaabbbbbbbbbab ⇒ bbbbbbbbbbab
11. abbaabbbbbbbbbbab ⇒ bbbbbbbbbbbab
12. abbaabbbbbbbbbbbab ⇒ bbbbbbbbbbbbab
13. abbaabbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbab
14. abbaabbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbab
15. abbaabbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbab
16. abbaabbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbab
17. abbaabbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbab
18. abbaabbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbab
19. abbaabbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbab
20. abbaabbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbab
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb191lf:191,rf:190,rp:19
[2/1]ab99lf:59,lp:20,ls:20,rf:20,rs:20,lprs:20,lsrs:20
[2/2]ba39lf:39,rf:20,rp:1
[2/3]aa21lf:21
[3/0]bbb153lf:153,rf:171,rp:18,a:2
[3/1]abb58lf:38,lp:20
[3/2]bab38lf:19,ls:19,rf:20,rp:1,rs:20,re:1,lsrs:19
[3/3]bba38lf:38,rf:19,rp:1
[3/4]aab21lf:20,ls:1
[3/5]baa20lf:20
[3/6]aba1lf:1,a:1
[4/0]bbbb136lf:136,rf:153,rp:17,a:3
[4/1]abba41lf:21,lp:20
[4/2]bbab36lf:18,ls:18,rf:19,rp:1,rs:19,re:1,lsrs:18,a:1
[4/3]bbaa20lf:20
[4/4]baab19lf:19,a:1
[4/5]aabb18lf:18,a:2
[4/6]abbb17lf:17,a:3
[5/0]bbbbb120lf:120,rf:136,rp:16,a:4
[5/1]abbaa40lf:20,lp:20
[5/2]bbbab34lf:17,ls:17,rf:18,rp:1,rs:18,re:1,lsrs:17,a:2
[5/3]bbaab19lf:19,a:1
[5/4]baabb18lf:18,a:2
[5/5]aabbb17lf:17,a:3
[5/6]abbbb16lf:16,a:4
[6/0]bbbbbb105lf:105,rf:120,rp:15,a:5
[6/1]abbaab38lf:19,lp:19,a:1
[6/2]bbbbab32lf:16,ls:16,rf:17,rp:1,rs:17,re:1,lsrs:16,a:3
[6/3]bbaabb18lf:18,a:2
[6/4]baabbb17lf:17,a:3
[6/5]aabbbb16lf:16,a:4
[6/6]abbbbb15lf:15,a:5
[7/0]bbbbbbb91lf:91,rf:105,rp:14,a:6
[7/1]abbaabb36lf:18,lp:18,a:2
[7/2]bbbbbab30lf:15,ls:15,rf:16,rp:1,rs:16,re:1,lsrs:15,a:4
[7/3]bbaabbb17lf:17,a:3
[7/4]baabbbb16lf:16,a:4
[7/5]aabbbbb15lf:15,a:5
[7/6]abbbbbb14lf:14,a:6

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

Step 2

Rewriting system is complete. See ⟨a, b | abbaaab=bab⟩.