Buenas, me surge la duda de que tan a fondo hay que justificar que una gramática que nosotros demos está simplificada, en las soluciones al dar una gramática simplificada se justifica diciendo que cumple la definición: "La gramática dada está simplificada pues no tiene producciones epsilon, no tiene producciones unitarias y todas sus variables son útiles". Que no tenga producciones epsilon ni unitarias se puede ver en las reglas de producción, sin embargo, ¿hay que mostrar de alguna forma que todas las variables son útiles?
¿También se podría ejecutar los algoritmos vistos en el orden dado y ver que la gramática "queda igual" afirmando entonces que está simplificada por correr los algoritmos?
En respuesta a Anthony Matias Cuña Silveira
Re: Justificación de gramática simplificada
de Belen Brandino -
hola,
con esa justificación alcanza, solo que obviamente tiene que estar simplificada :) en caso de no estarlo, no sería válido. de manera general, a veces es más fácil pensar una gramática que genere el lenguaje que queres y luego simplificarla, que pensar una gramática simplificada de una
eventualmente podrías ejecutar el algoritmo y ver que queda igual, pero no es necesario
saludos
con esa justificación alcanza, solo que obviamente tiene que estar simplificada :) en caso de no estarlo, no sería válido. de manera general, a veces es más fácil pensar una gramática que genere el lenguaje que queres y luego simplificarla, que pensar una gramática simplificada de una
eventualmente podrías ejecutar el algoritmo y ver que queda igual, pero no es necesario
saludos