Discreto stato non x esigenti