Morphocompletion for #2890 ⟨a, b, c | aab=a, caa=a⟩

Back:⟨a, b, c | aab=a, caa=a⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ca ⇒ ab
2. aba ⇒ a
3. aab ⇒ a
4. abba ⇒ ab
5. abbba ⇒ abb
6. abbbba ⇒ abbb
7. abbbbba ⇒ abbbb
8. abbbbbba ⇒ abbbbb
9. abbbbbbba ⇒ abbbbbb
10. abbbbbbbba ⇒ abbbbbbb
11. abbbbbbbbba ⇒ abbbbbbbb
12. abbbbbbbbbba ⇒ abbbbbbbbb
13. abbbbbbbbbbba ⇒ abbbbbbbbbb
14. abbbbbbbbbbbba ⇒ abbbbbbbbbbb
15. abbbbbbbbbbbbba ⇒ abbbbbbbbbbbb
16. abbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbb
17. abbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbb
18. abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbb
19. abbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbb
...

Collecting factors up to length 4 / frequency 7:

[2/0]bb136lf:136,rf:120,rs:15,a:4
[2/1]ab36lf:18,lp:17,ls:1,rf:17,rp:17,rs:2,re:2,lprp:16,lprs:1
[2/2]ba34lf:17,ls:17,a:3
[2/3]aa2lf:1,lp:1
[3/0]bbb120lf:120,rf:105,rs:14,a:5
[3/1]abb32lf:16,lp:16,rf:15,rp:15,rs:1,re:1,lprp:15,lprs:1,a:4
[3/2]bba32lf:16,ls:16,a:4

Considering [length 3 / frequency 1] abb=d.

Step 2

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