Morphocompletion for #3535 ⟨a, b, c | bb=ac, bca=c⟩

Back:⟨a, b, c | bb=ac, bca=c⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: lhsLimit

#Rule
1. ac ⇒ bb
2. bca ⇒ c
3. abcbba ⇒ bc
4. bbc ⇒ abcbb
5. babcbbbbaa ⇒ aabcbbbb
6. aaabcbbbb ⇒ babcbbbbabbaaaa
7. ababcbbbb ⇒ babcbbbbabbaa
8. abbabcbbbb ⇒ babcbbbbabbabbaa
9. cc ⇒ bcbb
10. cbcbbaa ⇒ abcbbbb
11. cbcbbabbaa ⇒ babcbbbb
12. cbcbbabbabbaa ⇒ bbabcbbbb
13. cbcbbabbabbabbaa ⇒ bbbabcbbbb
14. bcbc ⇒ cbcbba
15. bcbabcbbbbabbaa ⇒ cbabcbbbb
16. abcbabcbb ⇒ cbcbbabba
17. abcbaabcbbbb ⇒ cbcbbabbbbaa
18. cbcbbabc ⇒ abcbbbabcbbbba
...

Collecting factors up to length 4 / frequency 7:

[2/0]bb40lf:34,lp:1,ls:5,rf:49,rp:3,rs:9,re:1,lprs:1
[2/1]bc27lf:21,lp:3,ls:3,rf:17,rp:2,rs:1,re:1,a:1
[2/2]cb27lf:22,lp:5,rf:20,rp:4,a:2
[2/3]ab25lf:20,lp:5,rf:18,rp:3,a:3
[2/4]ba23lf:21,lp:1,ls:1,rf:21,rp:4,rs:3,a:4
[2/5]aa16lf:9,lp:1,ls:6,rf:7,rp:1,rs:4,lsrp:1,lprs:1,a:7
[2/6]ca2lf:1,ls:1,a:1
[3/0]bcb19lf:17,lp:2,rf:16,rp:1,a:2
[3/1]bba17lf:16,ls:1,rf:16,rp:1,rs:3,a:4
[3/2]bbb16lf:12,ls:4,rf:24,rp:1,rs:6,a:7
[3/3]abc15lf:11,lp:3,ls:1,rf:12,rp:3,lsrp:1,a:3
[3/4]cbb14lf:13,ls:1,rf:16,rs:2,a:2
[3/5]bab14lf:13,lp:1,rf:14,rp:4,a:6
[3/6]baa13lf:7,ls:6,rf:4,rs:3,a:7

Considering [length 3 / frequency 3] abc=d.

Step 2

Rewriting system is complete. See ⟨a, b, c | bb=ac, bca=c⟩.