#factorización de estados