Morphocompletion for #7275 ⟨a, b, c | aa=1, bccb=bc⟩

Back:⟨a, b, c | aa=1, bccb=bc⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aa ⇒ 1
2. bccb ⇒ bc
3. bcccb ⇒ bcc
4. bccccb ⇒ bccc
5. bcccccb ⇒ bcccc
6. bccccccb ⇒ bccccc
7. bcccccccb ⇒ bcccccc
8. bccccccccb ⇒ bccccccc
9. bcccccccccb ⇒ bcccccccc
10. bccccccccccb ⇒ bccccccccc
11. bcccccccccccb ⇒ bcccccccccc
12. bccccccccccccb ⇒ bccccccccccc
13. bcccccccccccccb ⇒ bcccccccccccc
14. bccccccccccccccb ⇒ bccccccccccccc
15. bcccccccccccccccb ⇒ bcccccccccccccc
16. bccccccccccccccccb ⇒ bccccccccccccccc
17. bcccccccccccccccccb ⇒ bcccccccccccccccc
18. bccccccccccccccccccb ⇒ bccccccccccccccccc
19. bcccccccccccccccccccb ⇒ bcccccccccccccccccc
20. bccccccccccccccccccccb ⇒ bccccccccccccccccccc
...

Collecting factors up to length 4 / frequency 7:

[2/0]cc190lf:190,rf:171,rs:18,a:1
[2/1]bc38lf:19,lp:19,rf:19,rp:19,rs:1,re:1,lprp:19,lprs:1,a:1
[2/2]cb38lf:19,ls:19,a:1
[3/0]ccc171lf:171,rf:153,rs:17,a:2
[3/1]bcc38lf:19,lp:19,rf:18,rp:18,rs:1,re:1,lprp:18,lprs:1,a:1
[3/2]ccb38lf:19,ls:19,a:1

Considering [length 3 / frequency 1] bcc=d.

Step 2

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