Morphocompletion for #915 ⟨a, b | aaabbaa=ba⟩

Back:⟨a, b | aaabbaa=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaabbaa ⇒ ba
2. aaabbaba ⇒ bba
3. baabbaa ⇒ aaabbba
4. aaabaaabbba ⇒ babbaa
5. aaabbabba ⇒ bbba
6. baabbaba ⇒ aaabbbba
7. aaabaaabbbba ⇒ babbaba
8. aaabbabbba ⇒ bbbba
9. baabbabba ⇒ aaabbbbba
10. aaabbbabbaa ⇒ baabaaabbba
11. aaabaaabbbbba ⇒ babbabba
12. aaabbabbbba ⇒ bbbbba
13. baabbabbba ⇒ aaabbbbbba
14. aaabaaabbbbbba ⇒ babbabbba
15. aaabbabbbbba ⇒ bbbbbba
16. baabbabbbba ⇒ aaabbbbbbba
17. aaabbabbbbbba ⇒ bbbbbbba
18. aaabbabbbbbbba ⇒ bbbbbbbba
...

Collecting factors up to length 8, frequency 7:

Length 2:[2/0] ba, [2/1] aa, [2/2] bb, [2/3] ab
Length 3:[3/0] bba, [3/1] aaa, [3/2] bbb, [3/3] abb, [3/4] aab, [3/5] baa, [3/6] bab
Length 4:[4/0] aaab, [4/1] bbba, [4/2] abba, [4/3] aabb, [4/4] bbbb, [4/5] bbab, [4/6] abbb
Length 5:[5/0] aaabb, [5/1] bbbba, [5/2] aabba, [5/3] abbab, [5/4] bbabb, [5/5] baabb, [5/6] bbbbb
Length 6:[6/0] aaabba, [6/1] aabbab, [6/2] bbbbba, [6/3] baabba, [6/4] abbabb, [6/5] aaabaa, [6/6] bbabbb
Length 7:[7/0] aaabbab, [7/1] aabbabb, [7/2] baabbab, [7/3] aaabaaa, [7/4] abbabbb, [7/5] bbbbbba, [7/6] bbabbbb

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

Step 2

Rewriting system is complete. See ⟨a, b | aaabbaa=ba⟩.