Morphocompletion for #5392 ⟨a, b | abbaaab=babb⟩

Back:⟨a, b | abbaaab=babb⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbaaab ⇒ babb
2. babbbaaab ⇒ abbaababb
3. abbaaaabbaababb ⇒ bababbaababb
4. abbaaaabbaabbabb ⇒ bababbaabbabb
5. abbaaaabbaabbbabb ⇒ bababbaabbbabb
6. babbbaaaabbaababb ⇒ abbaabababbaababb
7. abbaaaabbaabbbbabb ⇒ bababbaabbbbabb
8. abbaaaabbaabbbbbabb ⇒ bababbaabbbbbabb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb38lf:32,ls:6,rf:26,rs:8,lsrs:6
[2/1]ab36lf:28,lp:6,ls:2,rf:30,rp:2,lsrp:1
[2/2]aa28lf:28,rf:8
[2/3]ba24lf:22,lp:2,rf:28,rp:6
[3/0]abb36lf:24,lp:6,ls:6,rf:20,rp:2,rs:8,lsrp:1,lprs:6,lsrs:6
[3/1]bba18lf:18,rf:12
[3/2]aab16lf:14,ls:2,rf:8
[3/3]baa14lf:14,rf:8
[3/4]aaa14lf:14
[3/5]bab10lf:8,lp:2,rf:20,rp:6
[3/6]bbb8lf:8,rf:6,a:1
[4/0]abba19lf:13,lp:6,rf:9,rp:2
[4/1]babb16lf:8,lp:2,ls:6,rf:14,rp:1,rs:8,re:1,lprs:2,lsrs:6
[4/2]bbaa14lf:14,rf:8
[4/3]aabb10lf:10,rf:4,a:2
[4/4]aaab10lf:8,ls:2
[4/5]baaa8lf:8
[4/6]baab6lf:6,rf:8,a:1
[5/0]abbaa18lf:12,lp:6,rf:8,rp:2
[5/1]bbabb8lf:4,ls:4,rf:4,rs:4,lsrs:4,a:4
[5/2]bbaaa8lf:8
[5/3]aabba7lf:7,rf:1,a:2
[5/4]bbaab6lf:6,rf:8,a:1
[5/5]aaabb6lf:6,a:2
[5/6]baaaa6lf:6,a:2
[6/0]abbaaa12lf:6,lp:6
[6/1]bbbabb6lf:3,ls:3,rf:3,rs:3,lsrs:3,a:9
[6/2]abbaab6lf:6,rf:8,rp:2,a:1
[6/3]bbaaaa6lf:6,a:2
[6/4]aabbaa6lf:6,a:2
[6/5]aaabba6lf:6,a:2
[6/6]baaaab6lf:6,a:2
[7/0]abbaaaa10lf:5,lp:5,a:2
[7/1]bbaaaab6lf:6,a:2
[7/2]aabbaab6lf:6,a:2
[7/3]baaaabb6lf:6,a:2
[7/4]aaabbaa6lf:6,a:2
[7/5]aaaabba6lf:6,a:2
[7/6]bbbbabb4lf:2,ls:2,rf:2,rs:2,lsrs:2,a:15

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

Step 2

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