Morphocompletion for #5283 ⟨a, b | abaaaab=aaba⟩

Back:⟨a, b | abaaaab=aaba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abaaaab ⇒ aaba
2. abaaaaaba ⇒ aabaaaaab
3. ababaaaaaaba ⇒ aabaaaaaabab
4. aaaaabaaaaabb ⇒ abaaaaaaba
5. abaabaaaaaaba ⇒ aabaaaaaabaab
6. aabaaaaabbaaaab ⇒ aaabaaaaabba
7. abaaaaaabaaaaab ⇒ aabaaaaaabaa
8. aabaaaaaababaaab ⇒ ababaaaaaaaba
...

Collecting factors up to length 7, frequency 3:

Length 2:[2/0] aa, [2/1] ab, [2/2] ba
Length 3:[3/0] aaa, [3/1] aba, [3/2] aab
Length 4:[4/0] aaaa, [4/1] aaab, [4/2] abaa
Length 5:[5/0] aaaab, [5/1] aaaaa, [5/2] abaaa
Length 6:[6/0] abaaaa, [6/1] aaaaab, [6/2] aaaaba

Considering [length 2 / frequency 2] ba=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ba ⇒ c
2. ccaaac ⇒ caca
3. ccaaab ⇒ cac
4. acaaac ⇒ aaca
5. acaaab ⇒ aac
6. cacaaaac ⇒ ccaaaaca
7. cacaaaab ⇒ ccaaaac
8. aacaaaac ⇒ acaaaaca
9. aacaaaab ⇒ acaaaac
10. cccaaaacaa ⇒ cacaaaaab
11. cacaaaaacc ⇒ cccaaaaaca
12. cacaaaaacb ⇒ cccaaaaac
13. accaaaacaa ⇒ aacaaaaab
14. aacaaaaacc ⇒ accaaaaaca
15. aacaaaaacb ⇒ accaaaaac
16. cacaaaaacac ⇒ ccacaaaaaca
17. cacaaaaacab ⇒ ccacaaaaac
18. aacaaaaacac ⇒ acacaaaaaca
19. aacaaaaacab ⇒ acacaaaaac
20. ccaaccaaaaac ⇒ cacaaaaaacb
...

Collecting factors up to length 6, frequency 5:

Length 2:[2/0] aa, [2/1] ac, [2/2] ca, [2/3] cc, [2/4] ab
Length 3:[3/0] aaa, [3/1] aac, [3/2] caa, [3/3] aca, [3/4] cac
Length 4:[4/0] aaaa, [4/1] aaac, [4/2] acaa, [4/3] caaa, [4/4] aaca
Length 5:[5/0] aaaac, [5/1] aacaa, [5/2] acaaa, [5/3] caaaa, [5/4] cacaa

Considering [length 3 / frequency 2] caa=d.

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ba ⇒ c
2. caa ⇒ d
3. cdac ⇒ caca
4. cdab ⇒ cac
5. cdad ⇒ cada
6. adac ⇒ aaca
7. adab ⇒ aac
8. adad ⇒ aada
9. ddac ⇒ daca
10. ddab ⇒ dac
11. ddad ⇒ dada
12. ddaac ⇒ cdaad
13. cadaac ⇒ ddaab
14. cadaab ⇒ cdaac
15. cdaaca ⇒ ddaab
16. cdaada ⇒ cadaad
17. aadaab ⇒ adaac
18. adaaca ⇒ aadaac
19. adaada ⇒ aadaad
20. dadaab ⇒ ddaac
...

Collecting factors up to length 6, frequency 5:

Length 2:[2/0] da, [2/1] ad, [2/2] aa, [2/3] ab, [2/4] ac
Length 3:[3/0] ada, [3/1] cda, [3/2] daa, [3/3] dda, [3/4] dad
Length 4:[4/0] adaa, [4/1] daab, [4/2] daac, [4/3] aada, [4/4] aaca
Length 5:[5/0] adaab, [5/1] daada, [5/2] daaca, [5/3] adaac, [5/4] cadaa

Considering [length 3 / frequency 0] ada=e.

Step 4

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