Morphocompletion for #5235 ⟨a, b | aabbaba=bbaa⟩

Back:⟨a, b | aabbaba=bbaa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aabbaba ⇒ bbaa
2. aabbabbbaa ⇒ bbabbaa
3. aabbabbbbbaa ⇒ bbabbbbaa
4. aabbabbbabbaa ⇒ bbabbabbaa
5. aabbabbbbbbbaa ⇒ bbabbbbbbaa
6. aabbabbbabbbbaa ⇒ bbabbabbbbaa
7. aabbabbbbbabbaa ⇒ bbabbbbabbaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb32lf:32,rf:26,rp:7
[2/1]aa26lf:13,lp:7,ls:6,rf:7,rs:7,lprs:7,lsrs:6
[2/2]ba18lf:17,ls:1,rf:16
[2/3]ab17lf:17,rf:9
[3/0]bbb16lf:16,rf:10,a:1
[3/1]bba16lf:16,rf:16,rp:7
[3/2]abb16lf:16,rf:9
[3/3]aab14lf:7,lp:7
[3/4]baa12lf:6,ls:6,rf:7,rs:7,lsrs:6
[3/5]bab10lf:10,rf:9
[3/6]aba2lf:1,ls:1
[4/0]aabb14lf:7,lp:7
[4/1]bbaa12lf:6,ls:6,rf:7,rp:1,rs:7,re:1,lsrs:6
[4/2]bbab10lf:10,rf:9,rp:6
[4/3]bbbb9lf:9,rf:6,a:3
[4/4]babb9lf:9,rf:9,a:1
[4/5]abba9lf:9,rf:5
[4/6]bbba7lf:7,rf:4,a:1
[5/0]aabba14lf:7,lp:7
[5/1]bbabb9lf:9,rf:9,rp:6,a:1
[5/2]bbbaa8lf:4,ls:4,rf:3,rs:3,lsrs:3,a:1
[5/3]babbb7lf:7,rf:4,a:1
[5/4]abbab7lf:7,rf:2
[5/5]bbbbb5lf:5,rf:2,a:3
[5/6]bbbba4lf:4,rf:4,a:3
[6/0]aabbab14lf:7,lp:7
[6/1]bbabbb7lf:7,rf:4,rp:3,a:1
[6/2]bbbbaa6lf:3,ls:3,rf:3,rs:3,lsrs:3,a:3
[6/3]abbabb6lf:6,rf:2,a:1
[6/4]babbbb4lf:4,rf:4,a:3
[6/5]babbaa4lf:2,ls:2,rf:3,rs:3,lsrs:2,a:1
[6/6]bbbbba3lf:3,rf:1,a:3
[7/0]aabbabb12lf:6,lp:6,a:1
[7/1]abbabbb6lf:6,rf:1,a:1
[7/2]bbabbbb4lf:4,rf:4,rp:3,a:3
[7/3]bbbbbaa4lf:2,ls:2,rf:1,rs:1,lsrs:1,a:3
[7/4]bbabbaa4lf:2,ls:2,rf:3,rp:1,rs:3,re:1,lsrs:2,a:1
[7/5]babbbbb3lf:3,rf:1,a:3
[7/6]bbabbba3lf:3,a:1

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

Step 2

Rewriting system is complete. See ⟨a, b | aabbaba=bbaa⟩.