Morphocompletion for #4957 ⟨a, b | aaaabaa=baba⟩

Back:⟨a, b | aaaabaa=baba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aaaabaa ⇒ baba
2. babaaabaa ⇒ aaaabbaba
3. aaaabababa ⇒ babbaba
4. babaaabababa ⇒ aaaabbabbaba
5. aaaabababbaba ⇒ babbabbaba
6. babaaabababbaba ⇒ aaaabbabbabbaba
7. aaaabababbabbaba ⇒ babbabbabbaba
8. babaaabababbabbaba ⇒ aaaabbabbabbabbaba
9. aaaabababbabbabbaba ⇒ babbabbabbabbaba
10. aaaababaaaaabbaba ⇒ babbaaaaabbaba
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba56lf:44,lp:4,ls:8,rf:38,rp:6,rs:10,lsrp:5,lprs:4,lsrs:8
[2/1]aa40lf:32,lp:6,ls:2,rf:16,rp:4,lsrp:1
[2/2]ab40lf:40,rf:32
[2/3]bb10lf:10,rf:22,a:1
[3/0]aba38lf:30,ls:8,rf:10,rs:10,lsrs:8
[3/1]bab33lf:29,lp:4,rf:27,rp:6
[3/2]aaa25lf:19,lp:6,rf:11,rp:4
[3/3]aab11lf:11,rf:5
[3/4]bba10lf:10,rf:22,a:1
[3/5]abb10lf:10,rf:22,a:1
[3/6]baa9lf:7,ls:2,rf:1
[4/0]baba32lf:20,lp:4,ls:8,rf:10,rp:1,rs:10,re:1,lprs:4,lsrs:8
[4/1]abab15lf:15,a:2
[4/2]aaaa14lf:8,lp:6,rf:6,rp:4
[4/3]aaab11lf:11,rf:5
[4/4]aaba10lf:10
[4/5]abba10lf:10,rf:22,a:1
[4/6]bbab10lf:10,rf:21,a:1
[5/0]aaaab13lf:7,lp:6,rf:5,rp:4
[5/1]ababa12lf:10,ls:2,a:2
[5/2]bbaba12lf:6,ls:6,rf:9,rs:9,lsrs:6,a:1
[5/3]aaaba10lf:10
[5/4]abbab10lf:10,rf:21,a:1
[5/5]babaa9lf:5,lp:4,a:1
[5/6]babba9lf:9,rf:17,rp:5,a:2
[6/0]aaaaba12lf:6,lp:6
[6/1]abbaba12lf:6,ls:6,rf:9,rs:9,lsrs:6,a:1
[6/2]babaaa9lf:5,lp:4,a:1
[6/3]babbab9lf:9,rf:16,rp:4,a:2
[6/4]aababa8lf:8,a:2
[6/5]aaabab8lf:8,a:2
[6/6]ababab7lf:7,a:2
[7/0]aaaabab10lf:5,lp:5,a:2
[7/1]babbaba10lf:5,ls:5,rf:7,rp:1,rs:7,re:1,lsrs:5,a:2
[7/2]aaababa8lf:8,a:2
[7/3]babaaab8lf:4,lp:4,a:1
[7/4]aababab7lf:7,a:2
[7/5]bababba5lf:5,a:4
[7/6]ababbab5lf:5,a:4

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

Step 2

Rewriting system is complete. See ⟨a, b | aaaabaa=baba⟩.