Consultas sobre el Práctico 1

Buen día Nicolás,

la prueba la tenés conceptualmente bien rumbeada (sale por la conmutatividad de la unión de conjuntos).

También estás acertado en que $\{r\}$ no es lo que necesitás escribir, sino $L(r)$, que es el conjunto de las tiras generadas por la expresión regular $r$.

Una vez que pasás del mundo de las expresiones regulares al mundo de los conjuntos usando $L(r)$, ya podés usar todos los resultados que conocés de teoría de conjuntos. Así que sí, como decís, el primer paso es $L(r|s) \stackrel{def. E.R.}{=} L(r) \cup L(s) =  ...$

Cualquier cosa avisá :)

Saludos,
Santi