Fuente TeX:

w \in L((0|1)^∗01^∗) \Longrightarrow w \in L(1^∗0(0|1)^∗)