Morphocompletion for #851 ⟨a, b | ababbaab=a⟩

Back:⟨a, b | ababbaab=a⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaabb ⇒ aabba
2. abaabb ⇒ ababba
3. abaabba ⇒ ababbaa
4. aaaab ⇒ abaaa
5. abaaab ⇒ aabbaa
6. aabbaab ⇒ ababbaa
7. ababbaab ⇒ a
8. aaababb ⇒ aabbaba
9. abaababb ⇒ ababbaba
10. aabbaaab ⇒ aababbaa
11. ababbaaab ⇒ abababbaa
12. aaabaabb ⇒ aabbabaa
13. aaabababb ⇒ aabbababa
14. abaabababb ⇒ ababbababa
15. aabbababbaa ⇒ aaab
16. ababbababbaa ⇒ abaab
17. aabbabababbaa ⇒ aaabab
18. ababbabababbaa ⇒ abaabab
19. aabbababbabaaa ⇒ aaabaab
20. ababbababbabaaa ⇒ abaabaab
...

Collecting factors up to length 8, frequency 7:

Length 2:[2/0] ab, [2/1] aa, [2/2] ba, [2/3] bb
Length 3:[3/0] aba, [3/1] aab, [3/2] abb, [3/3] bab, [3/4] baa, [3/5] aaa, [3/6] bba
Length 4:[4/0] abab, [4/1] babb, [4/2] abba, [4/3] aabb, [4/4] aaab, [4/5] abaa, [4/6] baba
Length 5:[5/0] ababb, [5/1] aabba, [5/2] abbaa, [5/3] babba, [5/4] babab, [5/5] abaab, [5/6] abbab
Length 6:[6/0] ababba, [6/1] babbaa, [6/2] bababb, [6/3] abbaba, [6/4] aabbab, [6/5] bbabab, [6/6] babbab
Length 7:[7/0] ababbaa, [7/1] ababbab, [7/2] aabbaba, [7/3] abababb, [7/4] abbabab, [7/5] bababba, [7/6] babbaba

Considering [length 6 / frequency 1] babbaa=c.

Step 2

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