Consultas sobre el Práctico 6

hola,
como bien dice Guillermo, S es una variable positiva. 

Al principio $POS_1$ = {A,C} ya que ambas derivan terminales. Luego, a partir de la parte del algoritmo que dice

$si A \notin POS \land A \rightarrow \alpha \in P \land \alpha  \in (POS \cup T^*)$ entonces $POS \leftarrow POS \cup {A}$

como S tiene una producción que genera CA, que son variables que pertenecen a POS (más general pertenecientes a $POS \cup T^*$), entonces S pertenece a POS. No es este el caso de B,  ya que ambas producciones de B contienen a B, que no pertenece a POS. Luego, se reescriben las producciones, quitando aquellas que contenían a la variable no positiva B.

En cuanto a tu otra duda, no es parte del algoritmo de simplificación. Podrías hacerlo si queres (justificando), pero no es necesario y tendría que ser aparte del algoritmo