Buenos días!
En la letra de las afirmaciones no indica cual es el alfabeto Σ. Este dato parece ser importante ya que por definición de RL se debe demostrar para todo z que pertenezca a Σ*.
Podemos asumir que Σ esta formado por los símbolos que aparecen en el lenguaje en cuestión? Por ej. para el caso 1, se puede asumir que Σ ={0,a} ?
De todas manera estoy pensando que si el alfabeto tiene más símbolos, los string que contengan estos símbolos van a cumplir la Relación, ya que para todos los casos no van a pertenecer al lenguaje.