Morphocompletion for #2322 ⟨a, b | ababaab=aab⟩

Back:⟨a, b | ababaab=aab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. ababaab ⇒ aab
2. ababaaab ⇒ aaab
3. ababaaaab ⇒ aaaab
4. ababaaaaab ⇒ aaaaab
5. ababaaaaaab ⇒ aaaaaab
6. ababaaaaaaab ⇒ aaaaaaab
7. ababaaaaaaaab ⇒ aaaaaaaab
8. ababaaaaaaaaab ⇒ aaaaaaaaab
9. ababaaaaaaaaaab ⇒ aaaaaaaaaab
10. ababaaaaaaaaaaab ⇒ aaaaaaaaaaab
11. ababaaaaaaaaaaaab ⇒ aaaaaaaaaaaab
12. ababaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaab
13. ababaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaab
14. ababaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaab
15. ababaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaab
16. ababaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaab
17. ababaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaab
18. ababaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaab
19. ababaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaab
20. ababaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaab
...

Collecting factors up to length 8, frequency 7:

Length 2:[2/0] aa, [2/1] ab, [2/2] ba
Length 3:[3/0] aaa, [3/1] aba, [3/2] aab, [3/3] bab, [3/4] baa
Length 4:[4/0] aaaa, [4/1] abab, [4/2] aaab, [4/3] baba, [4/4] abaa, [4/5] baaa, [4/6] baab
Length 5:[5/0] aaaaa, [5/1] ababa, [5/2] aaaab, [5/3] babaa, [5/4] abaaa, [5/5] baaaa, [5/6] baaab
Length 6:[6/0] aaaaaa, [6/1] ababaa, [6/2] aaaaab, [6/3] babaaa, [6/4] abaaaa, [6/5] baaaaa, [6/6] babaab
Length 7:[7/0] aaaaaaa, [7/1] ababaaa, [7/2] aaaaaab, [7/3] babaaaa, [7/4] abaaaaa, [7/5] baaaaaa, [7/6] babaaab

Considering [length 5 / frequency 1] ababa=c.

Step 2

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