Ich denke auch das hier C -> lambda redundant ist, weil wir B -> 1 haben. C -> lambda erreicht man ja nur, wenn man das Wort mit 111 aufhören lässt und dafür hat man ja B -> 1.
Aber deine Lösung ist leider grob falsch.
1. Sie ist nicht rechtslinear.
2. Wie machst du folgende Wörte? {1, 01, 001, 011} usw.?