Morphocompletion for #3783 ⟨a, b | ababbabaab=a⟩

Back:⟨a, b | ababbabaab=a⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaabb ⇒ ababa
2. aabaabb ⇒ aabbaba
3. ababaabb ⇒ ababbaba
4. ababaabba ⇒ ababbabaa
5. aabbabaab ⇒ ababbabaa
6. ababbabaab ⇒ a
7. ababaabaab ⇒ aababbabaa
8. aaababaabb ⇒ aaababbaba
9. ababababbabaa ⇒ aaab
10. aaababbabbaba ⇒ aaab
11. aabbabababbabaa ⇒ aabaab
12. ababbabababbabaa ⇒ ababaab
13. aaababbbabbabaa ⇒ aaabab
14. ababababbabababa ⇒ aaababb
...

Collecting factors up to length 7 / frequency 4:

[2/0]ab64lf:54,lp:7,ls:3,rf:30,rp:5,rs:5,lprp:3,lsrp:1,lprs:2
[2/1]ba50lf:47,ls:3,rf:24,rs:4
[2/2]aa34lf:23,lp:7,ls:4,rf:18,rp:8,rs:3,lprp:5,lsrp:3,lprs:1
[2/3]bb22lf:18,ls:4,rf:7,rs:1
[3/0]aba43lf:34,lp:7,ls:2,rf:18,rp:5,rs:4,lprp:3,lprs:1
[3/1]bab32lf:32,rf:15,rs:1
[3/2]aab21lf:15,lp:3,ls:3,rf:10,rp:3,rs:4,lprp:2,lsrp:1,lprs:1
[3/3]abb21lf:17,ls:4,rf:7,rs:1
[4/0]abab27lf:20,lp:7,rf:9,rp:5,rs:1,lprp:3
[4/1]baba24lf:22,ls:2,rf:8,rs:4
[4/2]abaa16lf:12,ls:4,rf:5,rs:3
[4/3]aabb13lf:7,lp:2,ls:4,rf:1,rp:1,lsrp:1,a:1
[5/0]ababa18lf:12,lp:5,ls:1,rf:2,rp:2,rs:1,re:1,a:2
[5/1]babaa14lf:10,ls:4,rf:4,rs:3
[5/2]abaab11lf:8,ls:3,rf:2,rs:2
[5/3]abbab11lf:11,rf:6
[6/0]abbaba11lf:10,ls:1,rf:6,rs:3
[6/1]bbabaa10lf:6,ls:4,rf:3,rs:3
[6/2]ababab9lf:7,lp:2,a:2
[6/3]ababba9lf:7,lp:2,rf:5,rp:3

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. ccbcac ⇒ a
3. ccacb ⇒ ccbca
4. ccaccb ⇒ ccbcccbccca
5. ccbcccbcaa ⇒ ccac
6. ccbcccbcccccbcaa ⇒ ccacc
7. aac ⇒ ccccbcaa
8. ccbcccbcccacac ⇒ ccaa
9. acbcac ⇒ ccbcaa
10. acacb ⇒ acbca
11. ccacaccb ⇒ accbccca
12. aaa ⇒ ccccbcccacac
13. acbcaa ⇒ ccbcccacac
14. accbcaa ⇒ ccacac
15. acbcccbcaa ⇒ acac
16. accbcccccbcaa ⇒ ccacacc
17. accacac ⇒ ccccbcccacaa
18. acbcccacac ⇒ ccbcccacaa
19. accbcccacac ⇒ ccacaa
20. acbcccbcccacac ⇒ acaa
...

Collecting factors up to length 6 / frequency 7:

[2/0]ac46lf:28,lp:10,ls:8,rf:18,rp:4,rs:5,lprp:3,lsrp:1,lprs:3,a:2
[2/1]cc46lf:39,lp:7,rf:37,rp:14,rs:2,lprp:5,lprs:1,a:2
[2/2]cb27lf:23,ls:4,rf:11,a:2
[2/3]ca23lf:23,rf:25,rs:4,a:2
[2/4]bc19lf:19,rf:11,a:2
[2/5]aa18lf:9,lp:2,ls:7,rf:7,rs:7,lprs:1,a:3
[3/0]cac24lf:17,ls:7,rf:14,rs:5,a:2
[3/1]ccb22lf:16,lp:4,ls:2,rf:10,rp:5,lsrp:1,a:2
[3/2]cbc19lf:19,rf:11,a:2
[3/3]ccc15lf:15,rf:13,rp:3,a:4
[3/4]acb14lf:7,lp:5,ls:2,rf:1,rp:1,lsrp:1,a:3
[3/5]caa12lf:6,ls:6,rf:7,rs:7,a:3
[3/6]cca11lf:8,lp:3,rf:12,rp:6,rs:2,lprs:2,a:4
[4/0]ccbc18lf:14,lp:4,rf:10,rp:5,a:2
[4/1]acac13lf:7,lp:1,ls:5,rf:5,rp:1,rs:4,re:1,a:5
[4/2]bcaa12lf:6,ls:6,rf:2,rs:2,a:3
[4/3]ccac11lf:8,lp:3,rf:9,rp:5,rs:1,re:1,a:4
[4/4]bccc11lf:11,rf:7,a:4
[4/5]cbcc11lf:11,rf:7,a:4
[4/6]acbc10lf:5,lp:5,rf:1,rp:1,a:3
[5/0]cbcaa12lf:6,ls:6,rf:2,rs:2,a:3
[5/1]cacac11lf:6,ls:5,rf:4,rs:3,a:10
[5/2]cbccc11lf:11,rf:7,a:4
[5/3]ccbcc11lf:8,lp:3,rf:7,rp:3,a:4
[5/4]ccaca7lf:6,lp:1,rf:7,rp:3,a:10
[5/5]ccbca7lf:6,lp:1,rf:3,rp:2,rs:1,re:1,a:2
[5/6]cccbc7lf:7,rf:4,a:4

Considering [length 5 / frequency 0] cbcaa=d.

Step 3

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