Morphocompletion for #2756 ⟨a, b | baabb=aabba⟩

Back:⟨a, b | baabb=aabba⟩

Solved by morph:3/1. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aabba ⇒ baabb
2. aabbbaabb ⇒ bbaabbbba
3. aabbbbaabb ⇒ bbaabbbbaa
4. aabbbbbaabb ⇒ bbaabbbbaaa
5. aabbbbbbaabb ⇒ bbaabbbbaaaa
6. aabbbbbbbaabb ⇒ bbaabbbbaaaaa
7. aabbbbbbbbaabb ⇒ bbaabbbbaaaaaa
8. aabbbbbbbbbaabb ⇒ bbaabbbbaaaaaaa
9. aabbbbbbbbbbaabb ⇒ bbaabbbbaaaaaaaa
10. aabbbbbbbbbbbaabb ⇒ bbaabbbbaaaaaaaaa
11. aabbbbbbbbbbbbaabb ⇒ bbaabbbbaaaaaaaaaa
12. aabbbbbbbbbbbbbaabb ⇒ bbaabbbbaaaaaaaaaaa
13. aabbbbbbbbbbbbbbaabb ⇒ bbaabbbbaaaaaaaaaaaa
14. aabbbbbbbbbbbbbbbaabb ⇒ bbaabbbbaaaaaaaaaaaaa
15. aabbbbbbbbbbbbbbbbaabb ⇒ bbaabbbbaaaaaaaaaaaaaa
16. aabbbbbbbbbbbbbbbbbaabb ⇒ bbaabbbbaaaaaaaaaaaaaaa
17. aabbbbbbbbbbbbbbbbbbaabb ⇒ bbaabbbbaaaaaaaaaaaaaaaa
18. aabbbbbbbbbbbbbbbbbbbaabb ⇒ bbaabbbbaaaaaaaaaaaaaaaaa
...

Collecting factors up to length 8, frequency 7:

Length 2:[2/0] bb, [2/1] aa, [2/2] ab, [2/3] ba
Length 3:[3/0] bbb, [3/1] aab, [3/2] abb, [3/3] bba, [3/4] baa, [3/5] aaa
Length 4:[4/0] bbbb, [4/1] aabb, [4/2] abbb, [4/3] baab, [4/4] bbaa, [4/5] bbba, [4/6] abba
Length 5:[5/0] bbbbb, [5/1] aabbb, [5/2] baabb, [5/3] bbaab, [5/4] bbbaa, [5/5] abbbb, [5/6] bbbba
Length 6:[6/0] bbbbbb, [6/1] bbaabb, [6/2] aabbbb, [6/3] bbbaab, [6/4] bbbbaa, [6/5] abbbbb, [6/6] bbbbba
Length 7:[7/0] bbbbbbb, [7/1] bbbaabb, [7/2] aabbbbb, [7/3] bbbbaab, [7/4] bbbbbaa, [7/5] abbbbbb, [7/6] bbbbbba

Considering [length 3 / frequency 1] aab=c.

Step 2

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