Buenas, en el ejercicio que adjunto quería saber si razonarlo de esta
forma era correcta (ya que en la solución utiliza otro enfoque).
Yo lo pensé por el lado de que puedo tomar el homomorfismo tal que para todo x perteneciente a Σ-{a}, h(x)=x y h(a)=epsilon
Luego h(L)=DEL(L,a).
Luego usando la propiedad vista en el curso, de que si L es libre de contexto, H(L) también lo es, quedaría que DEL(L,a) lo es (al darse la igualdad).
¿Es correcto? Adjunto link al examen
https://www.fing.edu.uy/inco/cursos/teoleng/examenes/TL-Febrero2014.pdf
Gracias!