Morphocompletion for #5766 ⟨a, b, c | aa=b, cbc=ac⟩

Back:⟨a, b, c | aa=b, cbc=ac⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bcbc ⇒ cbbc
2. ccbbc ⇒ bc
3. bcbbc ⇒ cbbbc
4. ccbbbc ⇒ bbc
5. bcbbbc ⇒ cbbbbc
6. ccbbbbc ⇒ bbbc
7. bcbbbbc ⇒ cbbbbbc
8. ccbbbbbc ⇒ bbbbc
9. ccbbbbbbc ⇒ bbbbbc
10. ac ⇒ cbc
11. abc ⇒ cbbc
12. abbc ⇒ cbbbc
13. abbbc ⇒ cbbbbc
14. abbbbc ⇒ cbbbbbc
15. abbbbbc ⇒ cbbbbbbc
16. ba ⇒ ab
17. aa ⇒ b
...

Collecting factors up to length 4 / frequency 7:

[2/0]bc36lf:18,lp:4,ls:14,rf:15,rp:1,rs:15,re:1,lsrp:1,lprs:4,lsrs:14,a:1
[2/1]bb31lf:31,rf:35,rp:4,a:4
[2/2]ab10lf:5,lp:5,rf:1,rp:1,rs:1,re:1,a:2
[2/3]cc10lf:5,lp:5,a:15
[2/4]cb9lf:9,rf:10,rp:10,a:1
[3/0]bbc24lf:12,ls:12,rf:13,rp:1,rs:13,re:1,lsrp:1,lsrs:11,a:4
[3/1]bbb19lf:19,rf:22,rp:3,a:7
[3/2]ccb10lf:5,lp:5,a:15
[3/3]abb8lf:4,lp:4,a:7
[3/4]bcb8lf:4,lp:4,a:5
[3/5]cbb8lf:8,rf:9,rp:9,a:4
[3/6]cbc2lf:1,ls:1,rf:1,rp:1,rs:1,re:1,a:1

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

Step 2

Rewriting system is complete. See ⟨a, b, c | aa=b, cbc=ac⟩.