Se levanta la clase Subconjuntos.
Se levanta la validacion que realiza la validacion de una cadena de
entrada contra un AFD dado.