En el lenguaje L21 se llega a una gramática que contiene la regla M -> ε.
¿Esta regla no puede generar problemas con las demas reglas que incluyen a M? Ya que se podría aplicar antes que las demas, haciendo desaparecer a M de la tira de manera que no se pueda llegar a aplicar las demas reglas
hola:
sí, eso que comentás puede suceder, pero no es un inconveniente: simplemente esas derivaciones no conducirán a una tira de terminales y, por lo tanto, será fallida. lo que sí importa es que haya otra que sí te permita derivar lo que querés; esto es análogo a lo que sucede en los AFND con aquellos caminos que "se trancan" o no conducen a una computación de aceptación aunque haya otra.
en resumen, se debe cumplir que (a) todo tira del lenguaje se pueda derivar de alguna manera y (b) toda tira de terminales que se derive aplicando las reglas pertenezca al lenguaje dado. si hay o no derivaciones fallidas, no es un problema que tengan que considerar.
saludos,
d.-
* ¡haya otra!
Claro, en ese caso no se llega a una tira de terminales. No lo había considerado.
Muchas gracias!
Muchas gracias!