Morphocompletion for #2487 ⟨a, b | aabaab=baaa⟩

Back:⟨a, b | aabaab=baaa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aabbaaa ⇒ baaaaab
2. aabaab ⇒ baaa
3. baaaaabbaab ⇒ aabbabaaa
4. baaaaababaab ⇒ aabbaabaaa
5. aabbabaaaaab ⇒ baaaaabbbaaa
6. aabbaabaaaaab ⇒ baaaaababbaaa
7. aabaaaabbabaaa ⇒ baaaaaaaabbaab
8. aabaaaabbaabaaa ⇒ baaaaaaaababaab
9. baaaaabbbaaaaab ⇒ aabbabaaabaaa
10. baaaaababbaaaaab ⇒ aabbaabaaabaaa
...

Collecting factors up to length 8, frequency 7:

Length 2:[2/0] aa, [2/1] ab, [2/2] ba, [2/3] bb
Length 3:[3/0] aab, [3/1] aaa, [3/2] baa, [3/3] aba, [3/4] abb, [3/5] bba, [3/6] bab
Length 4:[4/0] baaa, [4/1] aaaa, [4/2] aaab, [4/3] aabb, [4/4] aaba, [4/5] baab, [4/6] abaa
Length 5:[5/0] aaaab, [5/1] baaaa, [5/2] aabba, [5/3] aabaa, [5/4] abaaa, [5/5] aaaaa, [5/6] abbaa
Length 6:[6/0] aaaaab, [6/1] baaaaa, [6/2] aabaaa, [6/3] aabbaa, [6/4] abbaab, [6/5] aaaabb, [6/6] abaaaa
Length 7:[7/0] baaaaab, [7/1] aabbaab, [7/2] aabaaaa, [7/3] aabbaba, [7/4] bbabaaa, [7/5] aaaabba, [7/6] baabaaa

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

Step 2

Rewriting system is complete. See ⟨a, b | aabaab=baaa⟩.