Morphocompletion for #4334 ⟨a, b | abbaabaab=ba⟩

Back:⟨a, b | abbaabaab=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbaabaab ⇒ ba
2. babaabaab ⇒ abbaababa
3. abbaabaaabbaababa ⇒ baabaabaab
4. baaabbbaabaababaab ⇒ ababbaabaaabbaabba
5. baabaabaabbbaabaab ⇒ abbaabaaabbaababba
6. babaabaaabbaababa ⇒ abbaaabbaababaaab
7. ababbaabaaabbaababba ⇒ baaabbbaabaab
8. abbaabaaabbaaabbaababa ⇒ baabaabaababaab
...

Collecting factors up to length 7 / frequency 4:

[2/0]ba46lf:38,lp:4,ls:4,rf:29,rp:4,rs:4,re:1,lsrp:3,lprs:3
[2/1]ab46lf:38,lp:4,ls:4,rf:29,rp:4,rs:4,lsrp:3,lprs:3
[2/2]aa32lf:32,rf:25
[2/3]bb14lf:14,rf:11
[3/0]aab30lf:26,ls:4,rf:20,rs:4
[3/1]baa28lf:26,lp:2,rf:20,rp:3
[3/2]aba26lf:22,lp:1,ls:3,rf:15,rp:1,rs:1
[3/3]abb15lf:12,lp:3,rf:10,rp:3
[4/0]baab25lf:20,lp:1,ls:4,rf:15,rp:2,rs:3
[4/1]aaba15lf:15,rf:11
[4/2]abba14lf:10,lp:3,ls:1,rf:9,rp:3,rs:2
[4/3]abaa13lf:13,rf:9
[5/0]baaba16lf:15,lp:1,rf:11,rp:2
[5/1]abaab13lf:9,ls:4,rf:6,rs:3
[5/2]abbaa12lf:9,lp:3,rf:7,rp:3
[5/3]aabaa10lf:10,rf:7
[6/0]baabaa11lf:10,lp:1,rf:7,rp:2
[6/1]abbaab11lf:8,lp:3,rf:6,rp:2
[6/2]bbaaba10lf:10,rf:6
[6/3]aabaab9lf:6,ls:3,rf:5,rs:2

Considering [length 3 / frequency 1] baa=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. cbccbbcccbccbc ⇒ bcbcccbcccbccb
2. cbccbbcccbcccbcbc ⇒ bcccbbcccbcccbccb
3. cbccbbcccbcccbccb ⇒ bc
4. cbccbbcccbcbcbcccbcccbccb ⇒ bcbcccbcccbccbcbbcccbccbc
5. bcbcccbcccbccbcbbcccbcccbccb ⇒ cbccbbcccbcbc
6. bcbcccbcccbccbbccbbcccbcccbccb ⇒ cbccbbcccbccbbc
7. bcccbbcccbcccbccbcbbcccbcccbccb ⇒ cbccbbcccbcccbbc
8. ca ⇒ abccc
9. ba ⇒ abccb
10. aabccbbcccbcbc ⇒ cbcccbcccbccbcbbcccbcccbccb
11. aabccbbcccbccbc ⇒ cbcccbcccbccb
12. aabccbbcccbccbbc ⇒ cbcccbcccbccbbccbbcccbcccbccb
13. aabccbbcccbcccbcbc ⇒ cccbbcccbcccbccb
14. aabccbbcccbcccbccb ⇒ c
...

Collecting factors up to length 6 / frequency 7:

[2/0]cc78lf:78,rf:68,rp:1,rs:1,a:2
[2/1]bc74lf:65,lp:3,ls:6,rf:51,rp:4,rs:5,re:1,lsrp:2,lprs:3,a:2
[2/2]cb73lf:63,lp:4,ls:6,rf:52,rp:6,rs:7,lsrp:3,lprs:2,a:2
[2/3]bb15lf:15,rf:11,a:4
[2/4]aa10lf:5,lp:5,a:56
[2/5]ab5lf:5,rf:2,rp:2,a:2
[3/0]ccb56lf:50,ls:6,rf:41,rs:7,a:2
[3/1]cbc51lf:42,lp:4,ls:5,rf:34,rp:6,rs:2,lsrp:2,lprs:1,a:4
[3/2]bcc51lf:50,lp:1,rf:41,rp:1,a:2
[3/3]ccc28lf:28,rf:26,rp:1,rs:1,a:4
[3/4]bbc16lf:15,ls:1,rf:11,rs:2,a:4
[3/5]cbb15lf:15,rf:11,a:4
[3/6]bcb11lf:9,lp:2,rf:5,rp:2,a:6
[4/0]cbcc34lf:30,lp:4,rf:29,rp:6,a:4
[4/1]ccbc33lf:31,ls:2,rf:25,rs:1,a:4
[4/2]bccc29lf:28,lp:1,rf:25,rp:1,rs:1,a:4
[4/3]bccb28lf:22,ls:6,rf:16,rs:7,a:2
[4/4]cccb28lf:28,rf:25,rp:1,a:4
[4/5]cbbc16lf:15,ls:1,rf:11,rs:2,a:4
[4/6]bbcc14lf:14,rf:9,a:4
[5/0]bcccb29lf:28,lp:1,rf:24,rp:1,a:4
[5/1]cccbc27lf:27,rf:22,a:4
[5/2]cbccb26lf:16,lp:4,ls:6,rf:14,rp:3,rs:6,lsrp:3,lprs:2,a:4
[5/3]ccbcc23lf:23,rf:21,a:4
[5/4]ccbbc14lf:13,ls:1,rf:9,rs:2,a:4
[5/5]cbbcc14lf:14,rf:9,a:4
[5/6]cbccc14lf:14,rf:15,rp:3,a:4

Considering [length 2 / frequency 5] ab=d.

Step 3

Rewriting system is complete. See ⟨a, b | abbaabaab=ba⟩.