Morphocompletion for #3475 ⟨a, b, c | ba=ac, cbb=b⟩

Back:⟨a, b, c | ba=ac, cbb=b⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ac ⇒ ba
2. cbb ⇒ b
3. cab ⇒ abb
4. babb ⇒ ab
5. aabb ⇒ baab
6. cbab ⇒ ab
7. caab ⇒ abab
8. babab ⇒ aab
9. aabab ⇒ baaab
10. cbaab ⇒ aab
11. caaab ⇒ abaab
12. babaab ⇒ aaab
13. aabaab ⇒ baaaab
14. cbaaab ⇒ aaab
15. caaaab ⇒ abaaab
16. babaaab ⇒ aaaab
17. aabaaab ⇒ baaaaab
18. cbaaaab ⇒ aaaab
19. caaaaab ⇒ abaaaab
20. babaaaab ⇒ aaaaab
...

Collecting factors up to length 4 / frequency 7:

[2/0]ab41lf:25,ls:16,rf:22,rp:7,rs:17,re:2,lsrp:15,lsrs:15,a:2
[2/1]aa33lf:29,lp:4,rf:32,rp:7,a:4
[2/2]ba21lf:16,lp:5,rf:9,rp:5,rs:1,re:1
[2/3]ca10lf:5,lp:5,a:5
[2/4]cb10lf:5,lp:5,a:1
[2/5]bb6lf:3,ls:3,rf:1,rs:1,a:1
[3/0]aab32lf:16,lp:4,ls:12,rf:14,rp:2,rs:14,re:2,lsrp:1,lprs:13,lsrs:11,a:4
[3/1]bab16lf:8,lp:5,ls:3,rf:1,rs:1,a:2
[3/2]aaa13lf:13,rf:18,rp:5,a:9
[3/3]caa8lf:4,lp:4,a:8
[3/4]cba8lf:4,lp:4,a:3
[3/5]baa8lf:8,rf:7,rp:4,a:6
[3/6]aba7lf:7,rf:4,rp:4,a:4

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

Step 2

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