Hola!
Para la parte b del ejercicio 1, la solución propone el lenguaje La = { } y Lb = {anbn / n >= 0}. Luego, en la justificación menciona que L1 = (Lb - La).La = {anbn / n >= 0}.{ } = { }.
¿El lenguaje L1 no debería ser {anbn / n > 0} en lugar de { }?
hola:
la operación de concatenación cuando uno de los operandos es el conjunto vacío da por resultado al conjunto vacío:
B = A.{} = {}.A = {}
imaginá que, de lo contrario, podrías descomponer a cualquier tira del lenguaje B en la concatenación de dos subtiras, una perteneciente al conjunto A y otra al conjunto vacío, lo cual es un absurdo, porque el vacío no tiene elementos.
diferente es el resultado cuando el conjunto contiene únicamente a la tira épsilon (que no es el conjunto vacío). en ese caso sí:
A. {épsilon} = {épsilon}.A = A
saludos,
d.-
En respuesta a Augusto Alonso Novo
Re: Examen Febrero 2016 - Ejercicio 1
Me parece que está bien que sea {}...
Por la definición de la concatenación de lenguajes:
Como en este caso 
, no tenés ningún 
, por lo que no podrías tener ningún xy tal que 
, dando como resultado {}.
Si alguien puede confirmar que está bien pensarlo así, mejor!
Saludos!