Morphocompletion for #811 ⟨a, b, c | ab=a, bccb=1⟩

Back:⟨a, b, c | ab=a, 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. acc ⇒ a
2. ab ⇒ a
3. bcc ⇒ ccb
4. acbb ⇒ ac
5. ccbb ⇒ 1
6. bbc ⇒ cbb
7. acbcbb ⇒ acbc
8. ccbcbb ⇒ bc
9. acbcbcbb ⇒ acbcbc
10. ccbcbcbb ⇒ bcbc
11. acbcbcbcbb ⇒ acbcbcbc
12. ccbcbcbcbb ⇒ bcbcbc
13. acbcbcbcbcbb ⇒ acbcbcbcbc
14. ccbcbcbcbcbb ⇒ bcbcbcbc
15. acbcbcbcbcbcbb ⇒ acbcbcbcbcbc
16. ccbcbcbcbcbcbb ⇒ bcbcbcbcbc
17. acbcbcbcbcbcbcbb ⇒ acbcbcbcbcbcbc
18. ccbcbcbcbcbcbcbb ⇒ bcbcbcbcbcbc
...

Collecting factors up to length 4 / frequency 7:

[2/0]cb56lf:56,rf:38,rp:1,rs:1,a:3
[2/1]bc46lf:44,lp:1,ls:1,rf:42,rp:6,rs:12,re:1,a:3
[2/2]bb30lf:15,lp:1,ls:14,rf:1,rs:1,lprs:10,a:5
[2/3]cc18lf:9,lp:7,ls:2,rf:1,rp:1,lsrp:10,a:3
[2/4]ac16lf:8,lp:8,rf:7,rp:7,rs:1,re:1,lprp:7,lprs:1,a:4
[3/0]bcb42lf:42,rf:30,rp:5,a:6
[3/1]cbc42lf:42,rf:36,rs:11,a:6
[3/2]cbb28lf:14,ls:14,rf:1,rp:1,rs:1,re:1,a:5
[3/3]ccb14lf:7,lp:7,rf:1,rp:1,rs:1,re:1,a:3
[3/4]acb14lf:7,lp:7,rf:6,rp:6,lprp:6,a:7

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

Step 2

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