Morphocompletion for #83 ⟨a, b, c | abc=1, cba=1⟩

Back:⟨a, b, c | abc=1, cba=1⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ba ⇒ ab
2. ca ⇒ ac
3. cb ⇒ bc
4. abc ⇒ 1
5. abbc ⇒ b
6. abbbc ⇒ bb
7. abbbbc ⇒ bbb
8. abbbbbc ⇒ bbbb
9. abbbbbbc ⇒ bbbbb
10. abbbbbbbc ⇒ bbbbbb
11. abbbbbbbbc ⇒ bbbbbbb
12. abbbbbbbbbc ⇒ bbbbbbbb
13. abbbbbbbbbbc ⇒ bbbbbbbbb
14. abbbbbbbbbbbc ⇒ bbbbbbbbbb
15. abbbbbbbbbbbbc ⇒ bbbbbbbbbbb
16. abbbbbbbbbbbbbc ⇒ bbbbbbbbbbbb
...

Collecting factors up to length 4 / frequency 7:

[2/0]bb78lf:78,rf:66,rp:11,rs:11,re:1,a:4
[2/1]bc26lf:13,ls:13,rf:1,rp:1,rs:1,re:1
[2/2]ab26lf:13,lp:13,rf:1,rp:1,rs:1,re:1
[2/3]ac0rf:1,rp:1,rs:1,re:1,a:10
[3/0]bbb66lf:66,rf:55,rp:10,rs:10,re:1,a:9
[3/1]bbc24lf:12,ls:12,a:4
[3/2]abb24lf:12,lp:12,a:4

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

Step 2

Rewriting system is complete. See ⟨a, b, c | abc=1, cba=1⟩.