En este ejercicio se pide construir gramáticas para cada lenguaje.
En la solución afirma que cada lenguaje es de un determinado tipo sin justificarlo.
Como llega a esa conclusión?
Esta bien que se afirme sin demostrar?
Hola Wilson,
yo no estuve en el día de esta evaluación, pero seguramente se haya aclarado en el salón.
Leyéndola ahora te diría que, como en la letra no se pide clasificar a los lenguajes en la Jerarquía de Chomsky, no es necesario hacer la prueba formal. Es decir, se priorizó la construcción de gramáticas o autómatas y, por lo tanto, para ahorrar tiempo no les exigimos la prueba formal de la clasificación en la Jerarquía de Chomsky del lenguaje. Apelamos a que, con su intuición, pudieran darse cuenta cuál era el formalismo que debían utilizar.
Un ejemplo de esto fue el segundo ejercicio del segundo parcial de 2022 donde les decíamos que no era regular y les pedíamos que clasificaran el lenguaje en la jerarquía. Como el lenguaje sí era Libre de Contexto, entonces no era necesario utilizar ninguna propiedad para probar nada más; solo bastaba con dar la gramática o el autómata de las partes siguientes para probar que sí era libre de contexto.
Ante cualquier duda en el examen siempre pregunten este tipo de cosas.
Saludos,
Santi
Muchas gracias
Por nada :) A las órdenes.