Morphocompletion for #5542 ⟨a, b, c | ab=c, acba=c⟩

Back:⟨a, b, c | ab=c, acba=c⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. acba ⇒ c
3. ccba ⇒ cb
4. acbc ⇒ cb
5. acbb ⇒ cbba
6. ccbc ⇒ cbb
7. cbcba ⇒ cbb
8. cbbca ⇒ accbb
9. cbbaca ⇒ aaccbb
10. cbbaaca ⇒ aaaccbb
11. cbbba ⇒ ccbb
12. cbcbc ⇒ cbbb
13. cbbcc ⇒ accbbb
14. cbbacc ⇒ aaccbbb
15. cbbcba ⇒ cbbb
16. cbbbc ⇒ ccbbb
17. cbbbba ⇒ cbcbb
18. cbbcbc ⇒ cbbbb
19. cbbbbc ⇒ cbcbbb
20. cbbbbba ⇒ cbbcbb
...

Collecting factors up to length 4 / frequency 7:

[2/0]cb37lf:23,lp:14,rf:21,rp:11,rs:2,re:2,lprp:7,a:1
[2/1]bb23lf:22,ls:1,rf:25,rs:15,a:4
[2/2]bc18lf:12,ls:6,rf:3,a:2
[2/3]ba17lf:10,ls:7,rf:1,rs:1,a:1
[2/4]ac9lf:6,lp:3,rf:5,rp:2,a:1
[2/5]cc8lf:4,lp:2,ls:2,rf:7,rp:2,a:3
[2/6]ca6lf:3,ls:3,a:14
[3/0]cbb26lf:13,lp:12,ls:1,rf:17,rp:7,rs:8,re:2,lprp:3,lsrp:10,lprs:6,a:4
[3/1]cbc12lf:6,lp:2,ls:4,rf:2,rp:2,a:2
[3/2]bbb9lf:9,rf:8,rs:7,a:6
[3/3]bba9lf:6,ls:3,rf:1,rs:1,a:9
[3/4]bbc8lf:6,ls:2,rf:1,a:7
[3/5]cba8lf:4,ls:4,a:1
[3/6]acb6lf:3,lp:3,a:1

Considering [length 2 / frequency 0] cb=d.

Step 2

Rewriting system is complete. See ⟨a, b, c | ab=c, acba=c⟩.