Morphocompletion for #3188 ⟨a, b, c | ba=ab, abcc=1⟩

Back:⟨a, b, c | ba=ab, abcc=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. abcc ⇒ 1
3. abbcc ⇒ b
4. abbbcc ⇒ bb
5. abbbbcc ⇒ bbb
6. abbbbbcc ⇒ bbbb
7. abbbbbbcc ⇒ bbbbb
8. abbbbbbbcc ⇒ bbbbbb
9. abbbbbbbbcc ⇒ bbbbbbb
10. abbbbbbbbbcc ⇒ bbbbbbbb
11. abbbbbbbbbbcc ⇒ bbbbbbbbb
12. abbbbbbbbbbbcc ⇒ bbbbbbbbbb
13. abbbbbbbbbbbbcc ⇒ bbbbbbbbbbb
14. abbbbbbbbbbbbbcc ⇒ bbbbbbbbbbbb
15. abbbbbbbbbbbbbbcc ⇒ bbbbbbbbbbbbb
16. abbbbbbbbbbbbbbbcc ⇒ bbbbbbbbbbbbbb
17. abbbbbbbbbbbbbbbbcc ⇒ bbbbbbbbbbbbbbb
18. abbbbbbbbbbbbbbbbbcc ⇒ bbbbbbbbbbbbbbbb
19. abbbbbbbbbbbbbbbbbbcc ⇒ bbbbbbbbbbbbbbbbb
20. abbbbbbbbbbbbbbbbbbbcc ⇒ bbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 4 / frequency 7:

[2/0]bb171lf:171,rf:153,rp:17,rs:17,re:1,a:2
[2/1]ab38lf:19,lp:19,rf:1,rp:1,rs:1,re:1
[2/2]cc38lf:19,ls:19,a:1
[2/3]bc19lf:19,a:1
[3/0]bbb153lf:153,rf:136,rp:16,rs:16,re:1,a:3
[3/1]bcc38lf:19,ls:19,a:1
[3/2]abb36lf:18,lp:18,a:2
[3/3]bbc18lf:18,a:2
[3/4]abc2lf:1,lp:1,a:1

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

Step 2

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