pequeña modificacion a verify_string, no deberia dejar que la cadena contenga lambda ya que lambda no pertenece al alfabeto