hola:
que no se puedan aplicar más reglas a una derivación no es indicación de nada, así como en un AFND puede haber caminos en donde, al procesar una tira, el autómata se "tranque". ninguno de esos casos es un problema.
lo que uno debe garantizar es que toda tira del lenguaje se puede generar con la gramática, y que toda tira de terminales que se genera con la gramática pertenece al lenguaje en cuestión.
saludos,
d.-