Morphocompletion for #1587 ⟨a, b | aaaababaa=a⟩

Back:⟨a, b | aaaababaa=a⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaaaaba ⇒ abaaaaa
2. ababaaaaa ⇒ a
3. aababa ⇒ ababaa
4. ababaabaaaaa ⇒ aaba
5. ababaaabaaaaa ⇒ aaaba
6. ababaaaabaaaaa ⇒ aaaaba
7. ababaabaabaaaaa ⇒ aabaaba
8. ababaabaaabaaaaa ⇒ aabaaaba
9. ababaabaaaabaaaaa ⇒ aabaaaaba
10. ababaaabaabaaaaa ⇒ aaabaaba
11. ababaaabaaabaaaaa ⇒ aaabaaaba
12. ababaaabaaaabaaaaa ⇒ aaabaaaaba
13. ababaaaabaabaaaaa ⇒ aaaabaaba
14. ababaaaabaaabaaaaa ⇒ aaaabaaaba
15. ababaaaabaaaabaaaaa ⇒ aaaabaaaaba
16. ababaabaabaabaaaaa ⇒ aabaabaaba
...

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] baa, [3/3] aab, [3/4] bab
Length 4:[4/0] aaaa, [4/1] abaa, [4/2] abab, [4/3] aaba, [4/4] baaa, [4/5] baba, [4/6] aaab
Length 5:[5/0] ababa, [5/1] aaaaa, [5/2] abaaa, [5/3] aabaa, [5/4] baaaa, [5/5] aaaba, [5/6] babaa
Length 6:[6/0] ababaa, [6/1] baaaaa, [6/2] abaaaa, [6/3] aabaaa, [6/4] aaabaa, [6/5] abaaba, [6/6] baabaa
Length 7:[7/0] abaaaaa, [7/1] ababaaa, [7/2] aabaaaa, [7/3] aaabaaa, [7/4] ababaab, [7/5] abaabaa, [7/6] abaaaab

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

Step 2

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