Morphocompletion for #5614 ⟨a, b, c | aa=a, aab=ca⟩

Back:⟨a, b, c | aa=a, aab=ca⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

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

Collecting factors up to length 4 / frequency 7:

[2/0]bb153lf:153,rf:153,rs:17,a:3
[2/1]ba36lf:18,ls:18,a:2
[2/2]ab36lf:18,lp:18,rf:19,rp:19,rs:2,re:2,lprp:18,lprs:1,a:1
[3/0]bbb136lf:136,rf:136,rs:16,a:4
[3/1]bba34lf:17,ls:17,a:3
[3/2]abb34lf:17,lp:17,rf:17,rp:17,rs:1,re:1,lprp:17,lprs:1,a:3

Considering [length 2 / frequency 1] ba=d.

Step 2

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