#espacio de estado cuantificado en computación