Consultas sobre el Práctico 1

hola,
continuando con lo que dijo santi, teniamos una tira con la forma $w = x0z$, donde $x \in L(1^*)$  y llegamos a que $x \in L((0|1)^*)$, que es exactamente lo que queremos, la primera parte del otro lenguaje, para llegar a que $x \in L((0|1)^*)$ y $z \in L(1*) \Rightarrow w \in L((0|1)^*01^*))$

entonces queda probar que $z \in L(1^*)$. partiendo de lo de santi, sabemos que $z \in L((0|1)^*)$, y acá va otro pique, y es que podemos distinguir en casos, cuando z tiene 0's y cuando no. cuando no los tiene es trivial, en el caso que si los tenga podemos volver a proponer una tira genérica, en este caso fijando el último cero por ejemplo: $z=a0b$ donde $a \in L((0|1)^*)$ y $b \in L(1^*)$. con esto podes sustituir en el w original y ver cómo te queda la tira

cualquier cosa pregunta de nuevo,

saludos!