Exámenes

hola:

efectivamente, las reglas que permiten "mover" la variable H están mal. la H funciona como marca del límite entre las yi y las wi, y es cuando llega F que se transforma en #. en otras palabras, habría que borrar a las producciones  H0→0H y H1→1H.

respecto a que se llega a derivaciones que, sin ser de terminales, no hay reglas que se puedan aplicar, esto no es un problema. una gramática para estar bien tiene que cumplir que: (a) todas las tiras de terminales que se deriven tienen que pertenecer al lenguaje y (b) toda tira del lenguaje tiene al menos una posible derivación con la gramática. todo el resto, esas derivaciones "perdidas", no importan. de alguna forma podés ver este problema como algo análogo a lo que sucede con los caminos que no conducen a nada en un autómata no determinista.

finalmente, por lo general siempre hay una clase de consulta antes del examen, pero te sugiero que lo consultes en el foro "general", así la pregunta no se "pierde" y todos pueden ver la respuesta.

saludos,

d.-