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:

Length 2:[2/0] ab, [2/1] aa, [2/2] bb
Length 3:[3/0] aaa, [3/1] aab, [3/2] abb
Length 4:[4/0] aaab, [4/1] abbb, [4/2] abaa
Length 5:[5/0] babaa, [5/1] abbba, [5/2] abaaa
Length 6:[6/0] abbbab, [6/1] babaaa, [6/2] bbabaa

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:

Length 2:[2/0] aa, [2/1] ac, [2/2] cb, [2/3] ca, [2/4] cc
Length 3:[3/0] aac, [3/1] caa, [3/2] aaa, [3/3] cbc, [3/4] cbb
Length 4:[4/0] caac, [4/1] caaa, [4/2] ccaa, [4/3] cbbc, [4/4] cbca
Length 5:[5/0] ccaac, [5/1] cbbca, [5/2] cbcaa, [5/3] accaa, [5/4] ccaaa

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:

Length 2:[2/0] db, [2/1] ad, [2/2] ca, [2/3] da, [2/4] dc
Length 3:[3/0] cad, [3/1] adb, [3/2] bca, [3/3] ada, [3/4] adc
Length 4:[4/0] bcad, [4/1] cadb, [4/2] dbbc, [4/3] bbca, [4/4] cada
Length 5:[5/0] bbcad, [5/1] dbbca, [5/2] bcada, [5/3] bcadb, [5/4] cdbbc

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

Step 4

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