Morphocompletion for #3435 ⟨a, b, c | ba=ac, aaa=a⟩

Back:⟨a, b, c | ba=ac, aaa=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 ⇒ ac
2. aaa ⇒ a
3. acaa ⇒ ac
4. accaa ⇒ acc
5. acccaa ⇒ accc
6. accccaa ⇒ acccc
7. acccccaa ⇒ accccc
8. accccccaa ⇒ acccccc
9. acccccccaa ⇒ accccccc
10. accccccccaa ⇒ acccccccc
11. acccccccccaa ⇒ accccccccc
12. accccccccccaa ⇒ acccccccccc
13. acccccccccccaa ⇒ accccccccccc
14. accccccccccccaa ⇒ acccccccccccc
15. acccccccccccccaa ⇒ accccccccccccc
16. accccccccccccccaa ⇒ acccccccccccccc
17. acccccccccccccccaa ⇒ accccccccccccccc
18. accccccccccccccccaa ⇒ acccccccccccccccc
19. acccccccccccccccccaa ⇒ accccccccccccccccc
20. accccccccccccccccccaa ⇒ acccccccccccccccccc
...

Collecting factors up to length 4 / frequency 7:

[2/0]cc153lf:153,rf:153,rs:17,a:3
[2/1]aa40lf:20,lp:1,ls:19,a:1
[2/2]ac36lf:18,lp:18,rf:19,rp:19,rs:2,re:2,lprp:18,lprs:1
[2/3]ca18lf:18,a:2
[3/0]ccc136lf:136,rf:136,rs:16,a:4
[3/1]caa36lf:18,ls:18,a:2
[3/2]acc34lf:17,lp:17,rf:17,rp:17,rs:1,re:1,lprp:17,lprs:1,a:3
[3/3]cca17lf:17,a:3
[3/4]aca2lf:1,lp:1,a:2

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

Step 2

Rewriting system is complete. See ⟨a, b, c | ba=ac, aaa=a⟩.