Morphocompletion for #4812 ⟨a, b | ababaaab=aab⟩

Back:⟨a, b | ababaaab=aab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. ababaaab ⇒ aab
2. ababaaaab ⇒ aaab
3. ababaaaaab ⇒ aaaab
4. ababaaaaaab ⇒ aaaaab
5. ababaaaaaaab ⇒ aaaaaab
6. ababaaaaaaaab ⇒ aaaaaaab
7. ababaaaaaaaaab ⇒ aaaaaaaab
8. ababaaaaaaaaaab ⇒ aaaaaaaaab
9. ababaaaaaaaaaaab ⇒ aaaaaaaaaab
10. ababaaaaaaaaaaaab ⇒ aaaaaaaaaaab
11. ababaaaaaaaaaaaaab ⇒ aaaaaaaaaaaab
12. ababaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaab
13. ababaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaab
14. ababaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaab
15. ababaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaab
16. ababaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaab
17. ababaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaab
18. ababaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaab
19. ababaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaab
20. ababaaaaaaaaaaaaaaaaaaaaaab ⇒ 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] baaa, [4/5] abaa
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] baaaab
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 6 / frequency 1] ababaa=c.

Step 2

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