Morphocompletion for #3827 ⟨a, b | abbbabaaab=a⟩

Back:⟨a, b | abbbabaaab=a⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaaabbbb ⇒ abbbabaa
2. aabaaab ⇒ ababaaa
3. ababaaab ⇒ abbabaaa
4. abbabaaab ⇒ abbbabaaa
5. abbbabaaab ⇒ a
6. aaaabbaaabbbb ⇒ abbbabaababaa
7. aaaabbbaaabbbb ⇒ abbbabaabbabaa
8. abbbabaababaaa ⇒ aaaab
9. abbbabaabbabaaa ⇒ aaaabb
10. abbbabaabbbabaaa ⇒ aaaabbb
11. ababaaaaaab ⇒ aabaababaaa
12. abbabaaaaaab ⇒ ababaababaaa
13. abbbabaaaaaab ⇒ abbabaababaaa
14. abbbabaabababbbabaa ⇒ aaaababbbb
...

Collecting factors up to length 7 / frequency 3:

[2/0]ab60lf:43,lp:10,ls:7,rf:32,rp:8,rs:1,lprp:4,lsrp:5,lprs:1
[2/1]aa56lf:48,lp:4,ls:4,rf:33,rp:5,rs:9,lsrp:4,lprs:4
[2/2]bb34lf:31,ls:3,rf:17,rs:3
[3/0]aaa33lf:27,lp:3,ls:3,rf:14,rp:4,rs:6,lsrp:3
[3/1]aab25lf:17,lp:1,ls:7,rf:10,rp:1,rs:1,lsrp:1
[3/2]abb24lf:16,lp:8,rf:10,rp:6,rs:1,lprp:2,lprs:1
[4/0]aaab19lf:12,ls:7,rf:4,rs:1
[4/1]abbb18lf:12,lp:6,rf:6,rp:4,rs:1,lprs:1
[4/2]abaa16lf:15,ls:1,rf:14,rs:3
[5/0]babaa15lf:14,ls:1,rf:13,rs:3
[5/1]abbba15lf:9,lp:6,rf:4,rp:4
[5/2]abaaa13lf:10,ls:3,rf:6,rs:6
[6/0]abbbab14lf:8,lp:6,rf:4,rp:4
[6/1]babaaa12lf:9,ls:3,rf:6,rs:6
[6/2]bbabaa12lf:11,ls:1,rf:7,rs:2

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. cbbcaac ⇒ a
3. ccaacb ⇒ cbcaac
4. cbcaacb ⇒ a
5. ccaaccbbb ⇒ cbccbbcaa
6. cbcaaa ⇒ ccaac
7. cbbcaaa ⇒ cbcaac
8. acaac ⇒ ccaaa
9. cbccbbcaccaac ⇒ ccaaccb
10. cbbccbbcaccaac ⇒ cbcaaccb
11. cbccbbcacbcaac ⇒ ccaaccbb
12. aaacb ⇒ cbbcaccaac
13. cbbcaccaaa ⇒ aaac
14. cbcaaccaac ⇒ acaaa
15. cbcacbbcaccaac ⇒ ccaacacb
16. cbcaaccaaa ⇒ ccaaccaac
17. ccaaaaac ⇒ acaccaaa
18. cbbcaccaaccaaa ⇒ aaaccaac
19. acaaaaac ⇒ cbcaaccaccaaa
20. acaaacaaa ⇒ ccaaccaaccaac
...

Collecting factors up to length 6 / frequency 5:

[2/0]aa44lf:37,lp:1,ls:6,rf:28,rp:2,rs:5,lsrp:2,a:2
[2/1]ac39lf:27,lp:3,ls:9,rf:23,rp:2,rs:8,lsrp:2,lprs:1,a:2
[2/2]cb36lf:21,lp:12,ls:3,rf:11,rp:6,rs:3,lprp:2,lsrp:2,lprs:3,a:2
[2/3]ca29lf:29,rf:24,a:2
[2/4]cc18lf:15,lp:3,rf:19,rp:7,a:4
[3/0]aac26lf:17,ls:9,rf:17,rs:8,a:2
[3/1]caa22lf:22,rf:20,rs:1,a:2
[3/2]aaa21lf:14,lp:1,ls:6,rf:6,rp:2,rs:4,lsrp:2,a:3
[3/3]cbc15lf:8,lp:7,rf:5,rp:5,a:3
[3/4]cbb15lf:10,lp:5,rf:3,rp:1,rs:1,a:2
[4/0]caac20lf:13,ls:7,rf:15,rs:7,a:2
[4/1]caaa15lf:9,ls:6,rf:4,rs:4,a:3
[4/2]ccaa14lf:11,lp:3,rf:14,rp:7,a:4
[4/3]cbbc14lf:9,lp:5,rf:2,rp:1,a:2
[4/4]cbca11lf:6,lp:5,rf:4,rp:4,a:3
[5/0]ccaac13lf:7,lp:2,ls:4,rf:11,rp:6,rs:5,re:1,lsrp:2,a:4
[5/1]cbbca12lf:8,lp:4,rf:2,rp:1,a:2
[5/2]cbcaa9lf:5,lp:4,rf:4,rp:4,a:3
[5/3]accaa8lf:8,rf:7,a:8
[5/4]ccaaa8lf:4,lp:1,ls:3,rf:3,rp:1,rs:3,re:1,lprs:1,a:7

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

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. cbbcad ⇒ a
2. ab ⇒ c
3. dadb ⇒ ccad
4. dcadb ⇒ dbcad
5. dbcadb ⇒ dbbcad
6. dbbcadb ⇒ d
7. ccadb ⇒ cbcad
8. cbcadb ⇒ a
9. daddb ⇒ ccdbbcdcad
10. ac ⇒ d
11. dadc ⇒ ccdbbcadd
12. dcadc ⇒ dbcdbbcadd
13. dbbcadc ⇒ ad
14. ccadc ⇒ cbcdbbcadd
15. aa ⇒ dbbcad
16. dbcdbbcada ⇒ dcad
17. ccdbbcada ⇒ dad
18. cbcdbbcada ⇒ ccad
19. adad ⇒ dcdbbcada
20. adbbcad ⇒ dbbcada
...

Collecting factors up to length 6 / frequency 5:

[2/0]db26lf:15,lp:4,ls:7,rf:10,rp:5,lprp:1,lsrp:2,a:4
[2/1]ad24lf:19,lp:2,ls:3,rf:15,rp:1,rs:10,re:1,a:3
[2/2]ca13lf:13,rf:13,a:3
[2/3]da13lf:7,lp:3,ls:3,rf:3,rp:1,rs:2,lsrp:1,a:7
[2/4]dc12lf:6,lp:2,ls:4,rf:3,rp:2,a:6
[3/0]cad15lf:13,ls:2,rf:13,rs:8,a:3
[3/1]adb14lf:7,lp:1,ls:6,a:5
[3/2]bca9lf:9,rf:9,a:3
[3/3]ada8lf:4,lp:1,ls:3,rf:2,rs:2,lprs:1,a:7
[3/4]adc8lf:4,ls:4,a:6
[4/0]bcad11lf:9,ls:2,rf:9,rs:4,a:3
[4/1]cadb10lf:5,ls:5,a:5
[4/2]dbbc8lf:6,lp:2,rf:8,rp:3,a:4
[4/3]bbca7lf:7,rf:7,a:3
[4/4]cada6lf:3,ls:3,rf:2,rs:2,a:7
[5/0]bbcad9lf:7,ls:2,rf:7,rs:2,a:3
[5/1]dbbca8lf:6,lp:2,rf:7,rp:3,a:4
[5/2]bcada6lf:3,ls:3,rf:2,rs:2,a:7
[5/3]bcadb6lf:3,ls:3,a:5
[5/4]cdbbc3lf:3,rf:5,a:13

Considering [length 5 / frequency 2] bcada=e.

Step 4

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