Morphocompletion for #1204 ⟨a, b | aabaa=baab⟩

Back:⟨a, b | aabaa=baab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aabaa ⇒ baab
2. baabbaa ⇒ aabbaab
3. baababaa ⇒ aababaab
4. aaaabbaab ⇒ baabbbaa
5. aaaababaab ⇒ baabbabaa
6. baabbbaaaa ⇒ aaaabbbaab
7. aabbaabbbaa ⇒ bbaabbbaab
8. baabbabaaaa ⇒ aaaababbaab
9. aaaaaabbbaab ⇒ baabbbbaaaa
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] aa, [2/1] ba, [2/2] ab, [2/3] bb
Length 3:[3/0] baa, [3/1] aab, [3/2] aaa, [3/3] bba
Length 4:[4/0] baab, [4/1] aaaa, [4/2] bbaa, [4/3] aabb
Length 5:[5/0] baabb, [5/1] bbaab, [5/2] aabba, [5/3] aaaab
Length 6:[6/0] aabbaa, [6/1] baabba, [6/2] abbbaa, [6/3] baabbb

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aa ⇒ c
2. ca ⇒ ac
3. cbc ⇒ bcb
4. cbac ⇒ bcba
5. cbbcb ⇒ bcbbc
6. cbabcb ⇒ bcbabc
7. cbbbcb ⇒ bcbbcc
8. cbabbcb ⇒ bcbabcc
9. cbbbbcb ⇒ bcbbccc
10. cbabbbcb ⇒ bcbabccc
11. cbbbbbcb ⇒ bcbbcccc
12. cbabbbbcb ⇒ bcbabcccc
13. cbbbbbbcb ⇒ bcbbccccc
14. cbabbbbbcb ⇒ bcbabccccc
15. cbbbbbbbcb ⇒ bcbbcccccc
16. cbabbbbbbcb ⇒ bcbabcccccc
17. cbbbbbbbbcb ⇒ bcbbccccccc
18. cbabbbbbbbcb ⇒ bcbabccccccc
19. cbbbbbbbbbcb ⇒ bcbbcccccccc
20. cbabbbbbbbbcb ⇒ bcbabcccccccc
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] cb, [2/1] bb, [2/2] bc, [2/3] ba, [2/4] ab, [2/5] ac, [2/6] cc
Length 3:[3/0] bbb, [3/1] bcb, [3/2] cba, [3/3] cbb, [3/4] bbc, [3/5] bab, [3/6] abb
Length 4:[4/0] bbbb, [4/1] bbcb, [4/2] cbab, [4/3] cbbb, [4/4] bbbc, [4/5] babb, [4/6] abbb
Length 5:[5/0] bbbcb, [5/1] bbbbb, [5/2] cbabb, [5/3] cbbbb, [5/4] bbbbc, [5/5] babbb, [5/6] abbbb

Considering [length 2 / frequency 0] cb=d.

Step 3

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