Buenas,
Una consulta, en la solución planteada de este apartado se muestran las 2 siguientes reglas de producción:
ab -> ba
ba -> ab
¿No importa qué en la gramática se pueda llegar a entrar en un tipo de "loop" por llamarle de alguna manera?
Desde ya, gracias.
hola:
aunque desde un punto de vista computacional (o para construir un parser) es espantosa, desde el punto de vista teórico ---que es lo que importa en el ejercicio--- están bien utilizadas.
lo único que uno debe garantizar es que todas las tiras del lenguaje se puedan generar con alguna secuencia finita de derivaciones a partir de la gramática, y que toda tira generada por alguna secuencia finita de derivaciones pertenece al lenguaje dado.
saludos,
d.-
hola:
aunque desde un punto de vista computacional (o para construir un parser) es espantosa, desde el punto de vista teórico ---que es lo que importa en el ejercicio--- están bien utilizadas.
lo único que uno debe garantizar es que todas las tiras del lenguaje se puedan generar con alguna secuencia finita de derivaciones a partir de la gramática, y que toda tira generada por alguna secuencia finita de derivaciones pertenece al lenguaje dado.
saludos,
d.-