Morphocompletion for #2503 ⟨a, b | aababa=baaa⟩

Back:⟨a, b | aababa=baaa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aababa ⇒ baaa
2. aababbaaa ⇒ baabaaa
3. aababbabaaa ⇒ bbaaaaa
4. aababbaabaaa ⇒ baabaabaaa
5. aababbababaaa ⇒ bbaaabaaa
6. aababbbaaaaa ⇒ baabbaaaaa
7. aababbabaabaaa ⇒ bbaaaabaaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa36lf:23,lp:7,ls:6,rf:27,rs:7,lprs:7,lsrs:6
[2/1]ba21lf:20,ls:1,rf:13,rp:4,lsrp:1
[2/2]ab20lf:20,rf:6
[2/3]bb7lf:7,rf:4,rp:3,a:1
[3/0]aab16lf:9,lp:7,rf:6
[3/1]aba15lf:14,ls:1,rf:5
[3/2]aaa14lf:8,ls:6,rf:14,rs:7,lsrs:6
[3/3]bab11lf:11
[3/4]baa8lf:8,rf:13,rp:4
[3/5]bba6lf:6,rf:4,rp:3,a:1
[3/6]abb6lf:6,rf:1,a:1
[4/0]aaba16lf:9,lp:7,rf:5
[4/1]baaa11lf:6,ls:5,rf:9,rp:1,rs:5,re:1,lsrs:4
[4/2]abab8lf:8
[4/3]baba6lf:5,ls:1
[4/4]babb6lf:6,a:1
[4/5]abaa5lf:5,rf:5,a:1
[4/6]abba5lf:5,rf:1,a:1
[5/0]aabab14lf:7,lp:7
[5/1]abaaa8lf:4,ls:4,rf:4,rs:4,lsrs:3,a:1
[5/2]ababb6lf:6,a:1
[5/3]babba5lf:5,a:1
[5/4]bbaaa3lf:2,ls:1,rf:4,rp:3,a:1
[5/5]babaa3lf:3,a:3
[5/6]ababa3lf:2,ls:1
[6/0]aababb12lf:6,lp:6,a:1
[6/1]ababba5lf:5,a:1
[6/2]aabaaa4lf:2,ls:2,rf:4,rs:4,lsrs:2,a:1
[6/3]babaaa4lf:2,ls:2,a:3
[6/4]abbaba3lf:3,a:3
[6/5]babbab3lf:3,a:3
[6/6]baaaaa2lf:1,ls:1,rf:2,rs:2,lsrs:1,a:3
[7/0]aababba10lf:5,lp:5,a:1
[7/1]baabaaa4lf:2,ls:2,rf:2,rp:1,rs:2,re:1,lsrs:1,a:1
[7/2]babbaba3lf:3,a:3
[7/3]ababbab3lf:3,a:3
[7/4]bbaaaaa2lf:1,ls:1,rf:2,rp:1,rs:2,re:1,lsrs:1,a:3
[7/5]ababaaa2lf:1,ls:1,a:9
[7/6]bbabaaa2lf:1,ls:1,a:3

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

Step 2

Rewriting system is complete. See ⟨a, b | aababa=baaa⟩.