buscando z me di cuenta de algo y quería preguntar si esta bien el siguiente razonamiento:
sea Lz el siguiente subconjunto de Lb:
Lz = { a^nb^n | n > 0}
entonces es claro que si tomo el homorfismo h(a)=0,h(b)=1 obtendría que:
h(Lz)={0^n1^n | n > 0}, lenguaje que no es regular, ya que si lo fuera h(Lz) union {epsilon}= {0^n1^n| n en N} seria regular, (pues {epsilon} es regular y los LR son cerrados por union), pero este es el unico lenguaje que tenemos permitido decir que no es regular.
Entonces h(Lz) no es regular, luego Lz no es regular, y como Lz es subconjunto de Lb, este tampoco es regular (sino, habria palabras en Lb que no serian descritas ni por autómatas ni por ers(las que estan en Lz))