Buenas gente, no se bien cómo encarar este ejercicio ya que falté a la mayoría de las prácticas.

Tengo el siguiente PAS:

  void WW (void) {

      MM();

      while(ProximoToken()!= K) {  

         JJ();     

         switch(ProximoToken()) {

           case C: Match(C); break; 

           case D: Match(D); EE(); break; 

         }

      }

   }

Tengo que escribir la BNF usando recursividad a derecha, pero esa condición en el while me confunde, no se cómo interpretarla, yo hice:
<WW> -> <MM> <ZZ>
<ZZ> -> <JJ> C <ZZ> | <JJ> D <EE> <ZZ>

O sea, en sí ignoré la condición del while.
¿Alguno me ilumina?

El while arma una recursividad, y el ZZ permite la iteración p/ que el while sea posible.

Yo lo que hice fué:
<WW> => <MM> <ZZ>
<ZZ> => <JJ> <ZZ> | <JJ> C <ZZ> | <JJ> D <EE> <ZZ> | E
está el JJ y ZZ porque contemplo el caso en que el próximo token no sea ni C ni D y amerite iterar de nuevo, para lo demás está epsilon.

Ahora me cierra! Gracias!

Baron Bomadil, Bomadil, ya que estas:

¿Que diferencia hace a la BNF que en el switch incluya o no la siguiente línea de código?
default:return;

Que en el caso de que no sea ninguno de los cases anteriores, termina la ejecución de la funcion, por ende si tenes un no-terminal o un match despues de ese switch, no los va a tomar