Morphocompletion for #4717 ⟨a, b | aabbbaab=aba⟩

Back:⟨a, b | aabbbaab=aba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aabbbaab ⇒ aba
2. ababbaab ⇒ aabbbaba
3. aabbbaaabbbaba ⇒ abaabbaab
4. ababbaaabbbaba ⇒ aabbbabaabbaab
5. abaabbaababbbaab ⇒ abaabbaabba
6. abaabbaabbabbaab ⇒ abaabbaababbbaba
7. abaaabbaababbbaab ⇒ abaaabbaabba
8. abaaabbaabbabbaab ⇒ abaaabbaababbbaba
9. abaaaabbaababbbaab ⇒ abaaaabbaabba
10. abaaaaabbaababbbaab ⇒ abaaaaabbaabba
...

Collecting factors up to length 7 / frequency 4:

[2/0]ab58lf:42,lp:8,ls:8,rf:32,rp:8,rs:2,lprp:6,lsrp:7,lprs:1
[2/1]ba36lf:34,ls:2,rf:30,rs:8
[2/2]aa35lf:33,lp:2,rf:25,rp:2
[2/3]bb28lf:28,rf:20
[3/0]aab34lf:24,lp:2,ls:8,rf:18,rp:2,rs:2,lsrp:1,lprs:1
[3/1]aba24lf:14,lp:8,ls:2,rf:14,rp:8,rs:4,re:1,lprp:6,lsrp:1,lprs:3
[3/2]baa22lf:22,rf:16
[3/3]bba20lf:20,rf:16,rs:4
[4/0]baab24lf:16,ls:8,rf:12,rs:2
[4/1]bbaa16lf:16,rf:8
[4/2]aabb14lf:12,lp:2,rf:14,rp:2
[4/3]abaa12lf:6,lp:6,rf:8,rp:7,lprp:6,a:2
[5/0]bbaab22lf:14,ls:8,rf:8,rs:2
[5/1]abbaa10lf:10,rf:8,a:1
[5/2]abaaa8lf:4,lp:4,rf:4,rp:4,lprp:4,a:7
[5/3]aabba8lf:8,rf:12,rs:4,a:2
[6/0]abbaab12lf:9,ls:3,rf:8,rs:2,a:1
[6/1]bbbaab10lf:5,ls:5
[6/2]aabbaa6lf:6,rf:8,a:2
[6/3]abbbaa6lf:6

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: pendingRulesLimit

#Rule
1. ab ⇒ c
2. ccbacb ⇒ acbbcc
3. acbbac ⇒ ca
4. acbbca ⇒ ccbac
5. acbbccbac ⇒ ccbca
6. acbbccbca ⇒ ccbccbac
7. acbbccbccbac ⇒ ccbccbca
8. acbbccbccbca ⇒ ccbccbccbac
9. ccbaccbbac ⇒ acbbcca
10. ccbaccbbca ⇒ acbbcccbac
11. ccbaccbbccbac ⇒ acbbcccbca
12. acbbaacbbcc ⇒ cacbacb
13. acbbccbaacbbcc ⇒ ccbcacbacb
14. cacbacbcbacb ⇒ cacbaccbbcc
15. cacbaccbbac ⇒ cacbacba
16. cacbaccbbca ⇒ cacbacbcbac
17. caacbaccbbac ⇒ caacbacba
18. caacbaccbbca ⇒ caacbacbcbac
19. caaacbaccbbac ⇒ caaacbacba
...

Collecting factors up to length 6 / frequency 7:

[2/0]ac51lf:35,lp:8,ls:8,rf:26,rp:4,rs:6,lsrp:2,lprs:3,a:2
[2/1]cb42lf:40,ls:2,rf:34,rs:2,a:2
[2/2]cc28lf:22,lp:4,ls:2,rf:18,rp:6,rs:2,lsrp:1,lprs:1,a:3
[2/3]ca24lf:12,lp:6,ls:6,rf:13,rp:8,rs:5,re:1,lprp:6,lsrp:2,a:2
[2/4]ba21lf:21,rf:17,rs:3,a:2
[2/5]bb18lf:18,rf:5,a:2
[2/6]bc17lf:17,rf:15,a:3
[3/0]acb29lf:19,lp:8,ls:2,rf:19,rp:4,rs:2,lsrp:1,lprs:2,a:2
[3/1]bac27lf:19,ls:8,rf:14,rs:6,a:2
[3/2]ccb24lf:20,lp:4,rf:13,rp:6,a:3
[3/3]cbb18lf:18,rf:5,a:2
[3/4]cba15lf:15,rf:17,rs:3,a:3
[3/5]bca12lf:6,ls:6,rf:4,rs:3,a:3
[3/6]bcc12lf:10,ls:2,rf:9,rs:2,a:4
[4/0]acbb18lf:10,lp:8,rf:4,rp:4,a:2
[4/1]cbac17lf:14,ls:3,rf:14,rs:6,a:3
[4/2]ccba12lf:8,lp:4,rf:4,rp:1,a:3
[4/3]cbbc12lf:12,rf:5,a:3
[4/4]bbac10lf:5,ls:5,a:2
[4/5]bbcc10lf:8,ls:2,rf:5,rs:2,a:4
[4/6]bbca8lf:4,ls:4,a:3
[5/0]ccbac14lf:7,lp:4,ls:3,rf:4,rp:1,rs:4,re:1,lprs:1,a:3
[5/1]acbbc14lf:8,lp:6,rf:4,rp:4,a:3
[5/2]cbbac10lf:5,ls:5,a:2
[5/3]cbbcc10lf:8,ls:2,rf:5,rs:2,a:4
[5/4]cbbca8lf:4,ls:4,a:3
[5/5]cbacc8lf:8,rf:1,a:6
[5/6]baccb8lf:8,rf:1,a:6

Considering [length 4 / frequency 0] acbb=d.

Step 3

Rewriting system is complete. See ⟨a, b | aabbbaab=aba⟩.