Morphocompletion for #5628 ⟨a, b, c | aa=a, abc=ba⟩

Back:⟨a, b, c | aa=a, abc=ba⟩

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. aba ⇒ ba
3. abc ⇒ ba
4. abba ⇒ bba
5. abbba ⇒ bbba
6. abbbba ⇒ bbbba
7. abbbbba ⇒ bbbbba
8. abbbbbba ⇒ bbbbbba
9. abbbbbbba ⇒ bbbbbbba
10. abbbbbbbba ⇒ bbbbbbbba
11. abbbbbbbbba ⇒ bbbbbbbbba
12. abbbbbbbbbba ⇒ bbbbbbbbbba
13. abbbbbbbbbbba ⇒ bbbbbbbbbbba
14. abbbbbbbbbbbba ⇒ bbbbbbbbbbbba
15. abbbbbbbbbbbbba ⇒ bbbbbbbbbbbbba
16. abbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
17. abbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbba
18. abbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
19. abbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbba
20. abbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 4 / frequency 7:

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

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

Step 2

Rewriting system is complete. See ⟨a, b, c | aa=a, abc=ba⟩.