Consultas sobre el Práctico 1

En lo siguiente voy a considerar que se quiere probar algo del estilo $r=s$ donde tanto $r$ como $s$ son expresiones regulares que generan a $L(r)$ y $L(s)$ respectivamente.

La idea que nosotros les damos es que esas igualdades "más complicadas", como vos decís, se pueden probar usando tiras genéricas $w$ que pertenezcan al lenguaje de origen $L(r)$. Esas tiras genéricas se pueden "desmenuzar" en subtiras donde cada una de ellas va a pertenecer al lenguaje generado por alguna expresión regular. Ahí utilizando la definición inductiva de Expresión Regular (que asocia los operadores de ER con conjuntos de tiras), la definición de Clausura de Kleene y operadores y propiedades de Teoría de Conjuntos, vas a poder llegar a una expresión para esa tira genérica $w$ que pueda ser generada por $s$ o, en otras palabras, que pertenezca a $L(s)$.

A las órdenes por cualquier cosa,
Santi