Morphocompletion for #5913 ⟨a, b | abbaab=aabaa⟩

Back:⟨a, b | abbaab=aabaa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbaab ⇒ aabaa
2. abbaaabaa ⇒ aabaabaab
3. aabaabaabbbaab ⇒ aabaabaababaa
4. aabaaaabaabbbaab ⇒ aabaaaabaababaa
5. aabaabaabbbaaabaa ⇒ aabaabaababaabaab
6. aabaaaaaabaabbbaab ⇒ aabaaaaaabaababaa
7. aabaaaabaabbbaaabaa ⇒ aabaaaabaababaabaab
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] aa, [2/1] ab, [2/2] ba, [2/3] bb
Length 3:[3/0] aab, [3/1] baa, [3/2] aba, [3/3] aaa
Length 4:[4/0] aaba, [4/1] abaa, [4/2] baab, [4/3] bbaa
Length 5:[5/0] aabaa, [5/1] bbaab, [5/2] abaab, [5/3] aaaba
Length 6:[6/0] aabaab, [6/1] aaabaa, [6/2] bbbaab, [6/3] aabaaa

Considering [length 3 / frequency 2] aba=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aba ⇒ c
2. cba ⇒ abc
3. abbac ⇒ acaa
4. cbbac ⇒ ccaa
5. abbaab ⇒ aca
6. cbbaab ⇒ cca
7. abbaaca ⇒ accab
8. accabba ⇒ abbaacc
9. cbbaaca ⇒ cccab
10. cccabba ⇒ cbbaacc
11. abbaaccc ⇒ accacaa
12. cbbaaccc ⇒ cccacaa
13. abbaaccab ⇒ accaca
14. accabbbac ⇒ accabcaa
15. cbbaaccab ⇒ cccaca
16. cccabbbac ⇒ cccabcaa
17. abbaaccaca ⇒ accaccab
18. accabbbaab ⇒ accabca
19. cbbaaccaca ⇒ cccaccab
20. cccabbbaab ⇒ cccabca
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] ab, [2/1] ba, [2/2] ac, [2/3] cc, [2/4] bb, [2/5] ca, [2/6] cb
Length 3:[3/0] bba, [3/1] abb, [3/2] cbb, [3/3] baa, [3/4] acc, [3/5] ccc, [3/6] cca
Length 4:[4/0] abba, [4/1] cbba, [4/2] bbaa, [4/3] ccab, [4/4] acca, [4/5] bbac, [4/6] baac
Length 5:[5/0] cbbaa, [5/1] accab, [5/2] abbaa, [5/3] bbaac, [5/4] bbaab, [5/5] cccab, [5/6] ccabb

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

Step 3

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