Fuente TeX:

z \in L(1*) \Rightarrow w \in L((0|1)^*01^*))