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

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

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ac ⇒ ab
2. abcbb ⇒ a
3. bbc ⇒ cbb
4. ccbb ⇒ 1
5. bcc ⇒ ccb
6. abcbcbb ⇒ abc
7. ccbcbb ⇒ bc
8. abcbcbcbb ⇒ abcbc
9. ccbcbcbb ⇒ bcbc
10. abcbcbcbcbb ⇒ abcbcbc
11. ccbcbcbcbb ⇒ bcbcbc
12. abcbcbcbcbcbb ⇒ abcbcbcbc
13. ccbcbcbcbcbb ⇒ bcbcbcbc
14. abcbcbcbcbcbcbb ⇒ abcbcbcbcbc
15. ccbcbcbcbcbcbb ⇒ bcbcbcbcbc
16. abcbcbcbcbcbcbcbb ⇒ abcbcbcbcbcbc
17. ccbcbcbcbcbcbcbb ⇒ bcbcbcbcbcbc
18. abcbcbcbcbcbcbcbcbb ⇒ abcbcbcbcbcbcbc
19. ccbcbcbcbcbcbcbcbb ⇒ bcbcbcbcbcbcbc
...

Collecting factors up to length 4 / frequency 7:

[2/0]cb72lf:72,rf:44,rp:1,rs:1,a:2
[2/1]bc68lf:66,lp:1,ls:1,rf:56,rp:7,rs:14,re:1,a:2
[2/2]bb34lf:17,lp:1,ls:16,rf:1,rs:1,lprs:10,a:3
[2/3]cc18lf:9,lp:8,ls:1,rf:1,rp:1,lsrp:10,a:2
[2/4]ab16lf:8,lp:8,rf:8,rp:8,rs:1,re:1,lprp:7
[3/0]bcb64lf:64,rf:42,rp:6,a:4
[3/1]cbc56lf:56,rf:42,rs:12,a:5
[3/2]cbb32lf:16,ls:16,rf:1,rp:1,rs:1,re:1,a:3
[3/3]ccb16lf:8,lp:8,rf:1,rp:1,rs:1,re:1,a:2
[3/4]abc16lf:8,lp:8,rf:7,rp:7,rs:1,re:1,lprp:7,lprs:1,a:4

Considering [length 3 / frequency 2] cbb=d.

Step 2

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