donde formula_14 es el conjunto de todos los subconjuntos de formula_2, y por lo tanto es el conjunto de todos los posibles estados.