Morphocompletion for #5606 ⟨a, b | aaabba=abaab⟩

Back:⟨a, b | aaabba=abaab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aaabba ⇒ abaab
2. abaabaabba ⇒ abaabbaab
3. abaabbaabaabba ⇒ abaabbaabbaab
4. abaabbaababaabba ⇒ abaabbaababbaab
5. abaabbaabababaabba ⇒ abaabbaabababbaab
6. abaabbaabbaabaabba ⇒ abaabbaabbaabbaab
7. abaabbaababababaabba ⇒ abaabbaababababbaab
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba38lf:31,ls:7,rf:25
[2/1]ab37lf:31,lp:6,rf:32,rp:7,rs:7,lprp:6,lprs:6
[2/2]aa21lf:20,lp:1,rf:19
[2/3]bb13lf:13,rf:12
[3/0]aba24lf:18,lp:6,rf:13,rp:7,lprp:6
[3/1]bba20lf:13,ls:7,rf:12
[3/2]aab19lf:19,rf:19,rs:7
[3/3]baa18lf:18,rf:19
[3/4]abb13lf:13,rf:12
[3/5]bab6lf:6,rf:6,a:4
[3/6]aaa2lf:1,lp:1
[4/0]abba20lf:13,ls:7,rf:12
[4/1]baab18lf:18,rf:19,rs:7
[4/2]abaa18lf:12,lp:6,rf:7,rp:7,lprp:6
[4/3]aabb13lf:13,rf:9
[4/4]bbaa6lf:6,rf:12,a:1
[4/5]baba6lf:6,rf:3,a:4
[4/6]abab6lf:6,rf:6,a:4
[5/0]aabba20lf:13,ls:7,rf:9
[5/1]abaab18lf:12,lp:6,rf:7,rp:7,rs:1,re:1,lprp:6
[5/2]baabb12lf:12,rf:9,a:1
[5/3]bbaab6lf:6,rf:12,rs:6,a:1
[5/4]abbaa6lf:6,rf:12,a:1
[5/5]baaba6lf:6,rf:3,a:1
[5/6]ababa6lf:6,rf:3,a:4
[6/0]baabba18lf:12,ls:6,rf:9,a:1
[6/1]abaabb16lf:11,lp:5,rf:6,rp:6,lprp:5,a:1
[6/2]abbaab6lf:6,rf:12,rs:6,a:1
[6/3]aabbaa6lf:6,rf:9,a:1
[6/4]bbaaba5lf:5,rf:3,a:2
[6/5]bababa3lf:3,rf:1,a:8
[6/6]babaab3lf:3,a:4
[7/0]abaabba22lf:11,lp:5,ls:6,rf:6,rp:6,lprp:5,lsrp:6,a:1
[7/1]baabbaa6lf:6,rf:9,a:1
[7/2]aabbaab6lf:6,rf:9,rs:3,a:1
[7/3]abbaaba5lf:5,rf:3,a:2
[7/4]bbaabab3lf:3,rf:3,a:4
[7/5]babaabb3lf:3,a:4
[7/6]baababa3lf:3,rf:2,a:4

Considering [length 3 / frequency 0] aba=c.

Step 2

Rewriting system is complete. See ⟨a, b | aaabba=abaab⟩.