Morphocompletion for #1433 ⟨a, b, c | aa=1, bcb=bc⟩

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

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

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

Collecting factors up to length 4 / frequency 7:

[2/0]cc171lf:171,rf:171,rs:18,a:2
[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]ccc153lf:153,rf:153,rs:17,a:3
[3/1]bcc36lf:18,lp:18,rf:18,rp:18,rs:1,re:1,lprp:18,lprs:1,a:2
[3/2]ccb36lf:18,ls:18,a:2

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

Step 2

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