implementacion conjunto potencia de un conjunto de estados, prueba en main