Morphocompletion for #2617 ⟨a, b | abbaab=aaba⟩

Back:⟨a, b | abbaab=aaba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbaab ⇒ aaba
2. abbaaaba ⇒ aababaab
3. aababaabbbaab ⇒ aababaababa
4. aabaabaabbbaab ⇒ aabaabaababa
5. aabaaabaabbbaab ⇒ aabaaabaababa
6. aababaabbbaaaba ⇒ aababaabababaab
7. aabaaaabaabbbaab ⇒ aabaaaabaababa
8. aabaabaabbbaaaba ⇒ aabaabaabababaab
...

Collecting factors up to length 7 / frequency 4:

[2/0]aa36lf:30,lp:6,rf:24,rp:8,lprp:6
[2/1]ab35lf:28,lp:2,ls:5,rf:32,rs:3,lprs:1
[2/2]ba26lf:23,ls:3,rf:29,rs:5
[2/3]bb14lf:14
[3/0]aab35lf:24,lp:6,ls:5,rf:21,rp:8,rs:3,lprp:6,lsrp:5,lprs:2
[3/1]baa18lf:18,rf:13
[3/2]aba18lf:15,ls:3,rf:29,rs:5
[3/3]abb10lf:8,lp:2
[4/0]aaba22lf:13,lp:6,ls:3,rf:18,rp:8,rs:1,re:1,lprp:6,lsrp:3
[4/1]baab18lf:13,ls:5,rf:11,rs:3
[4/2]abaa10lf:10,rf:13,a:1
[4/3]bbaa8lf:8
[5/0]aabaa12lf:8,lp:4,rf:8,rp:4,lprp:4,a:4
[5/1]bbaab10lf:5,ls:5
[5/2]aaaba8lf:5,ls:3,rf:2,a:1
[5/3]abaab8lf:8,rf:11,rs:3,a:1
[6/0]aabaab8lf:6,lp:2,rf:6,rp:2,lprp:2,a:4
[6/1]bbbaab8lf:4,ls:4,a:2
[6/2]baaaba7lf:4,ls:3,rf:1,a:1
[6/3]abbbaa6lf:6,a:2

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. ab ⇒ c
2. acc ⇒ cbacb
3. aca ⇒ cbac
4. cbacbbac ⇒ cbcbacba
5. cbacbbcbac ⇒ cbcbacbaa
6. cbacbbcbcbac ⇒ cbcbacbaaa
7. cbacbbcbcbcbac ⇒ cbcbacbaaaa
8. cbcbacbcacbbac ⇒ cbcbacbccbacba
9. cbacbbcbcbcbcbac ⇒ cbcbacbaaaaa
10. cbcbacbcbcbacbbbac ⇒ cbcbacbcbcbacbca
11. cbcbacbcacbbcbac ⇒ cbcbacbccbacbaa
12. cbacbbcbcbcbcbcbac ⇒ cbcbacbaaaaaa
13. cbcbacbcacbbcbcbac ⇒ cbcbacbccbacbaaa
14. cbcbacbacbcbacbbbac ⇒ cbcbacbacbcbacbca
15. cbacbbcbcbcbcbcbcbac ⇒ cbcbacbaaaaaaa
...

Collecting factors up to length 6 / frequency 7:

[2/0]cb74lf:62,lp:12,rf:51,rp:14,rs:1,lprp:12,a:2
[2/1]ac46lf:32,lp:2,ls:12,rf:20,rs:1,lprs:1,a:2
[2/2]bc35lf:35,rf:20,a:4
[2/3]ba27lf:27,rf:30,rs:2,a:2
[2/4]bb14lf:14,a:4
[2/5]ca5lf:4,ls:1,rf:2,rs:2,a:2
[2/6]cc2lf:1,ls:1,rf:3,a:3
[3/0]bac39lf:27,ls:12,rf:20,rs:1,a:2
[3/1]cbc32lf:27,lp:5,rf:20,rp:12,lprp:5,a:4
[3/2]bcb32lf:32,rf:15,a:4
[3/3]cba30lf:23,lp:7,rf:30,rp:2,rs:2,lprs:1,a:2
[3/4]acb18lf:18,rf:19,rs:1,a:3
[3/5]cbb12lf:12,a:4
[3/6]bbc8lf:8,a:6
[4/0]cbac38lf:23,lp:7,ls:8,rf:20,rp:2,rs:1,re:1,a:2
[4/1]cbcb29lf:24,lp:5,rf:15,rp:12,lprp:5,a:4
[4/2]bcbc17lf:17,rf:1,a:9
[4/3]bacb15lf:15,rf:19,rs:1,a:3
[4/4]bcba15lf:15,rf:14,a:4
[4/5]acbb12lf:12,a:4
[4/6]bbac8lf:4,ls:4,a:4
[5/0]bcbac23lf:15,ls:8,rf:14,a:4
[5/1]cbacb22lf:15,lp:7,rf:19,rp:1,rs:1,re:1,a:3
[5/2]cbcba18lf:13,lp:5,rf:14,rp:12,lprp:5,a:4
[5/3]bcbcb17lf:17,rf:1,a:9
[5/4]cbcbc11lf:11,rf:1,a:10
[5/5]bacbb9lf:9,a:4
[5/6]acbbc8lf:8,a:6

Considering [length 4 / frequency 1] cbcb=d.

Step 3

Rewriting system is complete. See ⟨a, b | abbaab=aaba⟩.