Morphocompletion for #4316 ⟨a, b | ababbbaab=ba⟩

Back:⟨a, b | ababbbaab=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. ababbbaab ⇒ ba
2. ababbbaba ⇒ baabbbaab
3. ababbababbbba ⇒ babbaabbbbaab
4. baabbbaabbbbaab ⇒ ababbbba
5. ababbbaaababbbba ⇒ baaabbbaabbbbaab
6. ababbababbbabba ⇒ babbaabbabbbaab
7. baabbbaabbbbaba ⇒ ababbbbaabbbaab
8. baabbbaabbabbbaab ⇒ ababbbabba
9. ababbbaaababbbabba ⇒ baaabbbaabbabbbaab
10. baabbbaabbabbbaba ⇒ ababbbabbaabbbaab
11. babbaabbbbaabbabbbaab ⇒ ababbababbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba56lf:44,lp:5,ls:7,rf:33,rp:6,rs:4,re:1,lsrp:5,lprs:3
[2/1]ab53lf:43,lp:6,ls:4,rf:34,rp:5,rs:7,lsrp:3,lprs:5
[2/2]bb49lf:49,rf:41
[2/3]aa18lf:18,rf:18
[3/0]bba30lf:26,ls:4,rf:21,rs:3
[3/1]abb26lf:26,rf:21
[3/2]bbb23lf:23,rf:20
[3/3]bab22lf:21,lp:1,rf:13,rp:2
[3/4]aba22lf:13,lp:6,ls:3,rf:6,rp:5,lsrp:2
[3/5]baa20lf:16,lp:4,rf:16,rp:3
[3/6]aab20lf:16,ls:4,rf:16,rs:7
[4/0]baab22lf:14,lp:4,ls:4,rf:14,rp:1,rs:7,lprs:2
[4/1]bbba20lf:18,ls:2,rf:14,rs:2
[4/2]abbb18lf:18,rf:14
[4/3]babb17lf:16,lp:1,rf:12,rp:2
[4/4]abab16lf:10,lp:6,rf:6,rp:5
[4/5]bbaa12lf:12,rf:13
[4/6]bbab10lf:10,rf:5,a:1
[5/0]ababb16lf:10,lp:6,rf:6,rp:5
[5/1]bbaab14lf:10,ls:4,rf:13,rs:7
[5/2]baabb14lf:10,lp:4,rf:7,rp:1,a:1
[5/3]abbba13lf:13,rf:9
[5/4]babbb11lf:11,rf:7
[5/5]bbbaa11lf:11,rf:10
[5/6]bbaba8lf:5,ls:3,rf:1,a:1
[6/0]bbbaab13lf:9,ls:4,rf:10,rs:7
[6/1]ababbb12lf:8,lp:4,rf:5,rp:4
[6/2]baabbb11lf:7,lp:4,rf:5,rp:1,a:1
[6/3]babbba9lf:9,rf:4
[6/4]abbbaa9lf:9,rf:7
[6/5]abbbba7lf:5,ls:2,rf:4,rs:1,a:2
[6/6]bbbaba6lf:3,ls:3,a:1
[7/0]ababbba10lf:6,lp:4,rf:2,rp:2
[7/1]abbbaab10lf:7,ls:3,rf:7,rs:5
[7/2]baabbba8lf:4,lp:4,rf:3,rp:1,a:1
[7/3]bbbaabb5lf:5,rf:3,a:2
[7/4]babbbaa5lf:5,rf:2
[7/5]bbbabba4lf:2,ls:2,rf:2,rs:1,a:3
[7/6]babbbba4lf:2,ls:2,rf:2,rs:1,a:2

Considering [length 6 / frequency 0] bbbaab=c.

Step 2

Rewriting system is complete. See ⟨a, b | ababbbaab=ba⟩.