Morphocompletion for #3236 ⟨a, b, c | ba=ac, bccb=1⟩

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

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bbc ⇒ cbb
2. ccbb ⇒ 1
3. bcc ⇒ ccb
4. ccbcbb ⇒ bc
5. ccbcbcbb ⇒ bcbc
6. ccbcbcbcbb ⇒ bcbcbc
7. ccbcbcbcbcbb ⇒ bcbcbcbc
8. ccbcbcbcbcbcbb ⇒ bcbcbcbcbc
9. ccbcbcbcbcbcbcbb ⇒ bcbcbcbcbcbc
10. ba ⇒ ac
11. cca ⇒ abb
12. ccbca ⇒ bcabb
13. ccbcbca ⇒ bcbcabb
14. ccbcbcbca ⇒ bcbcbcabb
15. ccbcbcbcbca ⇒ bcbcbcbcabb
16. ccbcbcbcbcbca ⇒ bcbcbcbcbcabb
17. ccbcbcbcbcbcbca ⇒ bcbcbcbcbcbcabb
...

Collecting factors up to length 4 / frequency 7:

[2/0]cb49lf:49,rf:32,rp:1,rs:1,a:2
[2/1]bc46lf:44,lp:1,ls:1,rf:42,rp:12,rs:6,re:1,a:2
[2/2]cc30lf:15,lp:14,ls:1,rf:1,rp:1,lsrp:10,a:2
[2/3]bb16lf:8,lp:1,ls:7,rf:8,rs:8,lprs:10,a:4
[2/4]ca14lf:7,ls:7,rf:6,a:9
[2/5]ac0rf:1,rp:1,rs:1,re:1
[2/6]ab0rf:7,rp:1,a:9
[3/0]cbc42lf:42,rf:30,rs:5,a:5
[3/1]bcb36lf:36,rf:30,rp:10,a:5
[3/2]ccb26lf:13,lp:13,rf:1,rp:1,rs:1,re:1,a:2
[3/3]cbb14lf:7,ls:7,rf:1,rp:1,rs:1,re:1,a:4
[3/4]bca12lf:6,ls:6,rf:6,rp:1,lsrp:1,a:11
[3/5]cab0rf:6,a:11
[3/6]abb0rf:7,rp:1,rs:7,re:1,a:9

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

Step 2

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