Consultas sobre el Práctico 1

Buenas tardes Leandro,

está bueno lo que planteás. El $\epsilon$ es un símbolo especial (por fuera del alfabeto $\Sigma$ del lenguaje) que representa a la tira vacía. Por lo tanto, al concatenar $\epsilon$ (la tira vacía) en cualquier posición de otra tira, no estamos alterando la tira original.

Esto no es así cuando $\epsilon$ aparece solito, porque eso está queriendo decir que la tira representada es la tira vacía (y nada más). Como decía Diego Garat en otro hilo hoy, lo podés pensar como el 0 en la suma. 8+0=8 y 4+3+0=4+3=7, pero 0=0 (paralelismo con cuando aparece el símbolo $\epsilon$ en soledad).

En definitiva si vos querés que tu lenguaje $L$ contenga a la tira vacía ( $\epsilon \in L$) vas a tener que tener una expresión regular que pueda generarla (ej: $L(a^*)$ o $L((aab)^*(a|b|\epsilon))$).

Decime si quedó más claro y sino la seguimos.

Saludos,
Santi