Tengo una consulta sobre cuando ponen Σ, lo están poniendo como subconjunto es decir definiéndolo por extensión es {a,b} y al ser subconjunto de sigma está ε o están hablando de Σ como el lenguaje?
Hola Juan Manuel:
El conjunto 
está definido por extensión:
La tira vacía 
no pertenece a .
Por otro lado, está el conjunto 
que se define así:
- Si
y
entonces 
La tira vacía sí pertenece a .
Si quedan dudas, volvé a preguntar.
Queda claro, muchas gracias.