Morphocompletion for #1824 ⟨a, b, c | aba=ab, ccc=1⟩

Back:⟨a, b, c | aba=ab, ccc=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. aba ⇒ ab
2. ccc ⇒ 1
3. abba ⇒ abb
4. abbba ⇒ abbb
5. abbbba ⇒ abbbb
6. abbbbba ⇒ abbbbb
7. abbbbbba ⇒ abbbbbb
8. abbbbbbba ⇒ abbbbbbb
9. abbbbbbbba ⇒ abbbbbbbb
10. abbbbbbbbba ⇒ abbbbbbbbb
11. abbbbbbbbbba ⇒ abbbbbbbbbb
12. abbbbbbbbbbba ⇒ abbbbbbbbbbb
13. abbbbbbbbbbbba ⇒ abbbbbbbbbbbb
14. abbbbbbbbbbbbba ⇒ abbbbbbbbbbbbb
15. abbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbb
16. abbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbb
17. abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbb
18. abbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbb
19. abbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbb
20. abbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 4 / frequency 7:

[2/0]bb171lf:171,rf:171,rs:18,a:2
[2/1]ab38lf:19,lp:19,rf:19,rp:19,rs:1,re:1,lprp:19,lprs:1
[2/2]ba38lf:19,ls:19
[2/3]cc4lf:2,lp:1,ls:1,a:1
[3/0]bbb153lf:153,rf:153,rs:17,a:3
[3/1]abb36lf:18,lp:18,rf:18,rp:18,rs:1,re:1,lprp:18,lprs:1,a:2
[3/2]bba36lf:18,ls:18,a:2

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

Step 2

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