Morphocompletion for #3805 ⟨a, b | abbaabaaab=a⟩

Back:⟨a, b | abbaabaaab=a⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaaabbb ⇒ abbaaba
2. aaabaaab ⇒ abaabaaa
3. abaabaaab ⇒ abbaabaaa
4. abbaabaaab ⇒ a
5. aaaabbaaabbb ⇒ abbaababaaba
6. abbaababaabaaa ⇒ aaaab
7. abbaababbaabaaa ⇒ aaaabb
8. abaabaaaaaab ⇒ aaababaabaaa
9. abbaabaaaaaab ⇒ abaababaabaaa
10. aaaababbbbaabaaa ⇒ aaaabab
11. abbaababaababbaaba ⇒ aaaababbb
...

Collecting factors up to length 7 / frequency 3:

[2/0]aa54lf:47,lp:4,ls:3,rf:30,rp:5,rs:4,lprp:1,lsrp:3,lprs:1
[2/1]ab46lf:34,lp:7,ls:5,rf:23,rp:5,rs:2,lprp:2,lsrp:3,lprs:1
[2/2]ba28lf:27,ls:1,rf:19,rs:2
[3/0]aaa29lf:22,lp:4,ls:3,rf:13,rp:5,rs:4,lprp:1,lsrp:3,lprs:1
[3/1]aab27lf:22,ls:5,rf:13,rs:1
[3/2]aba21lf:18,lp:2,ls:1,rf:16,rp:2,rs:2
[4/0]aaab16lf:10,lp:1,ls:5,rf:5,rp:1,rs:1,lsrp:1
[4/1]aaba15lf:14,ls:1,rf:11,rs:2
[4/2]abaa14lf:12,lp:2,rf:9,rp:2
[5/0]baaba13lf:12,ls:1,rf:8,rs:2
[5/1]abbaa13lf:8,lp:5,rf:3,rp:3
[5/2]abaaa11lf:8,ls:3,rf:4,rs:4
[6/0]abbaab12lf:7,lp:5,rf:3,rp:3
[6/1]aabaaa11lf:8,ls:3,rf:4,rs:4
[6/2]bbaaba9lf:8,ls:1,rf:3,rs:1

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: pendingRulesLimit

#Rule
1. ab ⇒ c
2. cbacaac ⇒ a
3. cacaacb ⇒ a
4. aaacbb ⇒ cbaca
5. cacaaccbb ⇒ cbaccbaca
6. aaaccbbb ⇒ cbaccaccbacc
7. cbacaaa ⇒ cacaac
8. cbaccaccbaca ⇒ aaaccbb
9. cbaccbaccbaca ⇒ aaacbcbb
10. aacaac ⇒ cacaaa
11. cbaccacaac ⇒ aaacb
12. aaaccbbac ⇒ cbaccaca
13. aaacbcbbac ⇒ cbaccbaca
14. cacaacacbb ⇒ cbacacbaca
15. cbaccacaaa ⇒ aaac
16. aaacbcbbaa ⇒ cacaaccb
17. aaacbaacb ⇒ aaaccbbaa
18. aaaccbaacb ⇒ aaacccbbaa
19. cacaaaaac ⇒ aaccacaaa
20. cacaacacaac ⇒ aacaaa
...

Collecting factors up to length 6 / frequency 5:

[2/0]ac47lf:40,ls:7,rf:27,rs:2,a:2
[2/1]aa45lf:34,lp:8,ls:3,rf:24,rp:8,rs:5,lprp:2,lsrp:1,lprs:3,a:2
[2/2]cb32lf:23,lp:6,ls:3,rf:17,rp:6,rs:2,lprs:1,a:2
[2/3]ca30lf:23,lp:5,ls:2,rf:17,rp:3,rs:5,lprs:2,a:2
[2/4]ba14lf:14,rf:12,a:2
[3/0]aac25lf:19,lp:1,ls:5,rf:10,rp:2,rs:2,lsrp:2,a:2
[3/1]aaa21lf:12,lp:7,ls:2,rf:9,rp:6,rs:3,lprp:2,lsrp:1,a:3
[3/2]aca17lf:15,ls:2,rf:11,rs:5,a:2
[3/3]cba17lf:11,lp:6,rf:10,rp:6,a:2
[3/4]cac15lf:10,lp:5,rf:7,rp:3,a:3
[4/0]aaac16lf:8,lp:7,ls:1,rf:6,rp:6,rs:1,re:1,lprp:2,a:7
[4/1]cbac15lf:9,lp:6,rf:10,rp:6,a:2
[4/2]caca13lf:8,lp:5,rf:5,rp:3,rs:1,a:3
[4/3]caac12lf:8,ls:4,rf:2,rs:1,a:2
[4/4]acaa11lf:11,rf:5,a:2
[5/0]cacaa13lf:8,lp:5,rf:4,rp:3,a:3
[5/1]acaac12lf:8,ls:4,rf:2,rs:1,a:2
[5/2]cbacc9lf:5,lp:4,rf:5,rp:4,rs:1,a:7
[5/3]aaacb8lf:4,lp:4,rf:2,rp:2,rs:1,re:1,a:11
[5/4]cbaca8lf:4,lp:2,ls:2,rf:5,rp:2,rs:4,re:1,a:2

Considering [length 2 / frequency 0] ac=d.

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. cbdad ⇒ a
3. ddadb ⇒ dbdad
4. dbdadb ⇒ d
5. cdadb ⇒ a
6. dbdaddb ⇒ cbdcdad
7. ac ⇒ d
8. ddadc ⇒ dbddbdadd
9. dbdadc ⇒ ad
10. cdadc ⇒ cbddbdadd
11. dbdaddc ⇒ cbdcddbdadd
12. aa ⇒ dbdad
13. dbddbdada ⇒ ddad
14. cbddbdada ⇒ cdad
15. cbdcddbdada ⇒ dbdadd
16. adad ⇒ cddbdada
17. dbdaddad ⇒ dddbdada
18. adbdad ⇒ dbdada
19. addbdada ⇒ cdaddad
...

Collecting factors up to length 6 / frequency 5:

[2/0]ad27lf:20,lp:3,ls:4,rf:15,rp:1,rs:7,re:1,lprs:1,a:3
[2/1]da25lf:21,ls:4,rf:17,rs:3,a:3
[2/2]db25lf:15,lp:6,ls:4,rf:10,rp:5,lsrp:1,a:4
[2/3]bd14lf:14,rf:13,a:3
[2/4]dd11lf:9,lp:2,rf:12,rp:2,rs:4,lprs:1,a:9
[3/0]dad21lf:17,ls:4,rf:14,rs:6,a:3
[3/1]dbd17lf:11,lp:6,rf:10,rp:5,a:4
[3/2]bda11lf:11,rf:9,a:3
[3/3]ada10lf:5,lp:1,ls:4,rf:3,rs:3,lprs:1,a:7
[3/4]adb8lf:4,lp:1,ls:3,a:5
[4/0]dbda15lf:10,lp:5,rf:9,rp:4,a:4
[4/1]bdad13lf:11,ls:2,rf:9,rs:2,a:3
[4/2]dada8lf:4,ls:4,rf:3,rs:3,a:7
[4/3]dadc6lf:3,ls:3,a:6
[4/4]dadb6lf:3,ls:3,a:5
[5/0]dbdad16lf:10,lp:5,ls:1,rf:9,rp:4,rs:2,re:2,lsrp:10,a:4
[5/1]bdada8lf:4,ls:4,rf:3,rs:3,a:7
[5/2]ddbda4lf:4,rf:5,a:11
[5/3]bdadd3lf:3,rf:4,rs:4,a:11
[5/4]addad2lf:1,ls:1,rf:1,rs:1,a:19

Considering [length 5 / frequency 1] bdada=e.

Step 4

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