Morphocompletion for #2257 ⟨a, b | aabbaab=baa⟩

Back:⟨a, b | aabbaab=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aabbaab ⇒ baa
2. baabaab ⇒ aabbbaa
3. bbaaaabb ⇒ aabbbbaa
4. aabaabbbaa ⇒ baaaab
5. aabbbaabbaa ⇒ bbaaaab
6. aabbbbaaaab ⇒ bbaabaa
7. baaaabbbaa ⇒ aabbbaaaab
8. baabbbaaaab ⇒ aabbbbaabaa
9. bbbaaaabaab ⇒ aabbbbbaaaa
10. aaaabbbbaabaa ⇒ baaaabaab
11. aabbbbaabbaaaab ⇒ bbbaaaa
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] aa, [2/1] ab, [2/2] bb, [2/3] ba
Length 3:[3/0] aab, [3/1] baa, [3/2] aaa, [3/3] bba
Length 4:[4/0] bbaa, [4/1] aabb, [4/2] baab, [4/3] aaab
Length 5:[5/0] aaaab, [5/1] bbbaa, [5/2] aabbb, [5/3] baaaa
Length 6:[6/0] baaaab, [6/1] bbaaaa, [6/2] aabaab, [6/3] abbbaa

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. cbbcb ⇒ bc
2. bcbcb ⇒ cbbbc
3. bbccbb ⇒ cbbbbc
4. cbcbbbc ⇒ bccb
5. cbbbcbbc ⇒ bbccb
6. cbbbbccb ⇒ bbcbc
7. bccbbbc ⇒ cbbbccb
8. bcbccbbb ⇒ ccbbbbbc
9. bcbbbccb ⇒ cbbbbcbc
10. bbbccbcb ⇒ cbbbbbcc
11. ccbbbcbbbc ⇒ bccbcbb
12. ccbbbbcbc ⇒ bccbcb
13. ccbbbbcbbc ⇒ bcbccbb
14. cbccbbbbbc ⇒ bcccbbb
15. cbcbbbbcbc ⇒ bcbbccb
16. cbcbbbbbcc ⇒ bbcbccb
17. cbbbbcbbccb ⇒ bbbcc
18. ca ⇒ ac
19. bccba ⇒ cbcbbbac
20. aa ⇒ c
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] cb, [2/1] bb, [2/2] bc, [2/3] cc, [2/4] ba, [2/5] ac
Length 3:[3/0] bbc, [3/1] bbb, [3/2] cbb, [3/3] bcb, [3/4] ccb, [3/5] cbc, [3/6] bcc
Length 4:[4/0] bbbc, [4/1] cbbb, [4/2] bccb, [4/3] ccbb, [4/4] cbcb, [4/5] bcbb, [4/6] bbbb
Length 5:[5/0] cbbbc, [5/1] ccbbb, [5/2] bbccb, [5/3] cbbbb, [5/4] bbbbc, [5/5] bbbcc, [5/6] bccbb

Considering [length 3 / frequency 0] bbc=d.

Step 3

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