Morphocompletion for #3422 ⟨a, b, c | ba=ab, aca=a⟩

Back:⟨a, b, c | ba=ab, aca=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. ba ⇒ ab
2. aca ⇒ a
3. abca ⇒ ab
4. abbca ⇒ abb
5. abbbca ⇒ abbb
6. abbbbca ⇒ abbbb
7. abbbbbca ⇒ abbbbb
8. abbbbbbca ⇒ abbbbbb
9. abbbbbbbca ⇒ abbbbbbb
10. abbbbbbbbca ⇒ abbbbbbbb
11. abbbbbbbbbca ⇒ abbbbbbbbb
12. abbbbbbbbbbca ⇒ abbbbbbbbbb
13. abbbbbbbbbbbca ⇒ abbbbbbbbbbb
14. abbbbbbbbbbbbca ⇒ abbbbbbbbbbbb
15. abbbbbbbbbbbbbca ⇒ abbbbbbbbbbbbb
16. abbbbbbbbbbbbbbca ⇒ abbbbbbbbbbbbbb
17. abbbbbbbbbbbbbbbca ⇒ abbbbbbbbbbbbbbb
18. abbbbbbbbbbbbbbbbca ⇒ abbbbbbbbbbbbbbbb
19. abbbbbbbbbbbbbbbbbca ⇒ abbbbbbbbbbbbbbbbb
20. abbbbbbbbbbbbbbbbbbca ⇒ abbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 4 / frequency 7:

[2/0]bb153lf:153,rf:153,rs:17,a:3
[2/1]ca38lf:19,ls:19,a:1
[2/2]ab36lf:18,lp:18,rf:19,rp:19,rs:2,re:2,lprp:18,lprs:1
[2/3]bc18lf:18,a:2
[2/4]ac2lf:1,lp:1,a:1
[3/0]bbb136lf:136,rf:136,rs:16,a:4
[3/1]bca36lf:18,ls:18,a:2
[3/2]abb34lf:17,lp:17,rf:17,rp:17,rs:1,re:1,lprp:17,lprs:1,a:3
[3/3]bbc17lf:17,a:3
[3/4]abc2lf:1,lp:1,a:2

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

Step 2

Rewriting system is complete. See ⟨a, b, c | ba=ab, aca=a⟩.