Morphocompletion for #5898 ⟨a, b | ababba=babab⟩

Back:⟨a, b | ababba=babab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: trailTotalLimit

#Rule
1. ababba ⇒ babab
2. bbababbba ⇒ ababbbabab
3. bbababbbba ⇒ abaababbbabab
4. bbababbbbba ⇒ abaabaababbbabab
5. bbababbbbbba ⇒ abaabaabaababbbabab
6. bbababbbbbbba ⇒ abaabaabaabaababbbabab
7. bbababbbbbbbba ⇒ abaabaabaabaabaababbbabab
8. bbababbbbbbbbba ⇒ abaabaabaabaabaabaababbbabab
9. bbababbbbbbbbbba ⇒ abaabaabaabaabaabaabaababbbabab
10. bbababbbbbbbbbbba ⇒ abaabaabaabaabaabaabaabaababbbabab
11. bbababbbbbbbbbbbba ⇒ abaabaabaabaabaabaabaabaabaababbbabab
12. bbababbbbbbbbbbbbba ⇒ abaabaabaabaabaabaabaabaabaabaababbbabab
13. bbababbbbbbbbbbbbbba ⇒ abaabaabaabaabaabaabaabaabaabaabaababbbabab
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb115lf:103,lp:12,rf:24
[2/1]ba51lf:38,ls:13,rf:104,rp:1,lsrp:1
[2/2]ab27lf:26,lp:1,rf:116,rp:12,rs:13,lprs:1
[2/3]aa0rf:66,a:2
[3/0]bbb78lf:78,rf:12,a:1
[3/1]bba50lf:25,lp:12,ls:13,rf:12
[3/2]bab25lf:25,rf:38,rp:1,rs:13
[3/3]aba14lf:13,lp:1,rf:91,rp:12
[3/4]abb13lf:13,rf:12
[3/5]baa0rf:66,a:2
[3/6]aab0rf:66,a:2
[4/0]bbbb66lf:66,a:2
[4/1]bbba24lf:12,ls:12,rf:12,a:1
[4/2]bbab24lf:12,lp:12,rf:12,a:1
[4/3]abab14lf:13,lp:1,rf:25,rp:1,rs:13,lprs:1
[4/4]babb13lf:13,rf:12
[4/5]abbb12lf:12,rf:12,a:1
[4/6]baba12lf:12,rf:13,rp:1
[5/0]bbbbb55lf:55,a:3
[5/1]bbaba24lf:12,lp:12,rf:12,a:1
[5/2]bbbba22lf:11,ls:11,a:2
[5/3]ababb14lf:13,lp:1,rf:12,rp:1
[5/4]babbb12lf:12,rf:12,a:1
[5/5]babab12lf:12,rf:13,rp:1,rs:13,re:1
[5/6]abbbb11lf:11,a:2
[6/0]bbbbbb45lf:45,a:4
[6/1]bbabab24lf:12,lp:12,rf:12,rs:12,lprs:12,a:1
[6/2]bbbbba20lf:10,ls:10,a:3
[6/3]bababb12lf:12,a:1
[6/4]ababbb12lf:12,rf:12,rp:1,a:1
[6/5]babbbb11lf:11,a:2
[6/6]abbbbb10lf:10,a:3
[7/0]bbbbbbb36lf:36,a:5
[7/1]bbababb24lf:12,lp:12,a:1
[7/2]bbbbbba18lf:9,ls:9,a:4
[7/3]bababbb12lf:12,a:1
[7/4]ababbbb11lf:11,a:2
[7/5]babbbbb10lf:10,a:3
[7/6]abbbbbb9lf:9,a:4

Considering [length 5 / frequency 1] bbaba=c.

Step 2

Rewriting system is complete. See ⟨a, b | ababba=babab⟩.