Morphocompletion for #4719 ⟨a, b | aabbbaab=baa⟩

Back:⟨a, b | aabbbaab=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aabbbaab ⇒ baa
2. baabbaab ⇒ aabbbbaa
3. bbaabaabb ⇒ aabbbbbaa
4. bbbaaaabbb ⇒ aabbbbbbaa
5. aabaabbbbbaa ⇒ baaaabb
6. aabbaabbbbaa ⇒ baabaab
7. aabbbbaabbbaa ⇒ bbaabaab
8. aabbbbbaabaab ⇒ bbaabbaa
9. aabbbbbaabbbaa ⇒ bbbaaaabb
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] bb, [2/1] aa, [2/2] ab, [2/3] ba
Length 3:[3/0] aab, [3/1] baa, [3/2] bbb, [3/3] bba
Length 4:[4/0] aabb, [4/1] bbaa, [4/2] baab, [4/3] bbba
Length 5:[5/0] bbbaa, [5/1] aabbb, [5/2] bbaab, [5/3] baabb
Length 6:[6/0] aabbbb, [6/1] bbbbaa, [6/2] aabaab, [6/3] abbbaa

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. cbbbcb ⇒ bc
2. bcbbcb ⇒ cbbbbc
3. bbcbcbb ⇒ cbbbbbc
4. bbbccbbb ⇒ cbbbbbbc
5. cbcbbbbbc ⇒ bccbb
6. cbbcbbbbc ⇒ bcbcb
7. cbbbbcbbbc ⇒ bbcbcb
8. cbbbbbcbcb ⇒ bbcbbc
9. cbbbbbcbbbc ⇒ bbbccbb
10. cbbbbbbccb ⇒ bbbcbc
11. bccbbbbbc ⇒ cbbbbccbb
12. bcbcbbbbc ⇒ cbbbbcbcb
13. bcbbbbcbcb ⇒ cbbbbbcbbc
14. bbccbbbbc ⇒ cbbbbbccb
15. cbbcbbbbbcbbc ⇒ bbccb
16. ca ⇒ ac
17. bccbba ⇒ cbcbbbbbac
18. bcbcba ⇒ cbbcbbbbac
19. cbcbbbbcbbbac ⇒ bccba
20. aa ⇒ c
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] bb, [2/1] cb, [2/2] bc, [2/3] ba, [2/4] cc, [2/5] ac
Length 3:[3/0] bbb, [3/1] bbc, [3/2] cbb, [3/3] bcb, [3/4] cbc, [3/5] bcc, [3/6] ccb
Length 4:[4/0] bbbc, [4/1] cbbb, [4/2] bbbb, [4/3] bcbb, [4/4] bbcb, [4/5] cbcb, [4/6] bccb
Length 5:[5/0] bbbbc, [5/1] cbbbb, [5/2] bcbbb, [5/3] bcbcb, [5/4] bbbcb, [5/5] cbcbb, [5/6] bbbbb

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

Step 3

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